Logic for mathematicians /

Logic for mathematicians /

41

Podrobná bibliografie
Hlavní autor:	391265 Hamilton, A. G.
Médium:
Vydáno:	Cambridge : Cambridge Univ. Pr., 1988
Témata:	Logic, Symbolic and mathematical

Podobné jednotky

logic for mathematicians /
Autor: 341990 Rosser, J. Barkley
Vydáno: (1953)

Proof, logic and conjecture : the mathematician's toolbox /
Autor: 267708 Wolf, Robert S
Vydáno: (1998)

Logic of mathematics : a modern course of classical logic /
Autor: 454206 Adamowicz, Zofia, a další
Vydáno: (1997)

Mathematical logic /
Autor: 219920 Ebbinghaus, Heinz-Dieter, a další
Vydáno: (1994)

Symbolic logic /
Autor: 299767 Copi, Irving M.
Vydáno: (1973)

Symbolic logic /
Autor: 299767 Copi, Irving M.
Vydáno: (1979)

Symbolic logic /
Autor: 299767 Copi, Irving M.
Vydáno: (1954)

Symbolic logic /
Autor: 389685 Grunberg, Teo
Vydáno: (1972)

Logic as algebra /
Autor: 181502 Halmos, Paul, a další
Vydáno: (1998)

Combinatory logic /
Autor: 351193 Curry, Haskell Brooks, a další
Vydáno: (1974)

Symbolic logic /
Autor: 372615 Jacquette, Dale
Vydáno: (2001)

Mathematical logic /
Autor: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), a další
Vydáno: (1978)

Introduction to logic /
Autor: 299767 Copi, Irving M., a další
Vydáno: (1998)

Mathematical logic /
Autor: 365617 Quine, Willard Van Orman
Vydáno: (1951)

Logic and structure /
Autor: Dalen, D. van (Dirk), 1932-
Vydáno: (2004)

Logic : databook /
Autor: National Semiconductor
Vydáno: (1981)

Introduction to symbolic logic /
Autor: 389591 Basson, A. H., a další
Vydáno: (1957)

Logic colloquium : symposium on logic held at Boston, 1972-73 /
Autor: Parikh, Rohet
Vydáno: (1975)

Proceedings of Logic Colloquium /
Autor: 467457 Logic Colloquium, a další
Vydáno: (1969)

Introduction to mathematical logic /
Autor: 411257 Church, Alonzo
Vydáno: (1956)

Logic for computer science /
Autor: 318694 Reeves, Steve, a další
Vydáno: (1990)

Introduction to symbolic logic /
Autor: 386873 Smith, Karl J.
Vydáno: (1991)

Understanding symbolic logic /
Autor: 286788 Klenk, Virginia
Vydáno: (1983)

Logic, sets, and recursion /
Autor: 332434 Causey, Robert L.
Vydáno: (2006)

An introduction to symbolic logic /
Autor: 200716 Langer, Susanne Katherina
Vydáno: (1967)

Introduction to symbolic logic /
Autor: 197411 Pullum, Laura L.
Vydáno: (1969)

Multiple - conclusion logic /
Autor: 391053 Shoesmith, D. J., a další
Vydáno: (1978)

Introduction to symbolic logic /
Autor: 386873 Smith, Karl J.
Vydáno: (1974)

Advanced logic for applications /
Autor: 199241 Grandy, Richard E.
Vydáno: (1977)

Principles of mathematical logic /
Autor: 174681 Hilbert, David, a další
Vydáno: (1950)

Foundations of mathematical logic /
Autor: 351193 Curry, Haskell Brooks
Vydáno: (1977)

Mathematical logic and computability /
Autor: 404540 Keisler, H. Jerome, a další
Vydáno: (1996)

Languages, logic and mathematics /
Autor: Kilmister, C. W. (Clive William)
Vydáno: (1967)

Handbook of mathematical logic /
Autor: Barwise, Jon
Vydáno: (1977)

Introduction to mathematical logic /
Autor: 341948 Mendelson, Elliott
Vydáno: (1997)

Dictionary of symbols of mathematical logic /
Autor: Feys, Robert, a další
Vydáno: (1973)

Logic in mathematics : an elementary approach /
Autor: 285503 Hallerberg, Arthur Edward
Vydáno: (1974)

Logic techniques of formal reasoning /
Autor: 390934 Kalish, Donald, a další
Vydáno: (1980)

Algebraic methods of mathematical logic /
Autor: 404014 Reiger, Ladislav
Vydáno: (1967)

A course on mathematical logic /
Autor: Srivastava, S. M. (Shashi Mohan), a další
Vydáno: (2008)