Elements of logic via numbers and sets /

Elements of logic via numbers and sets /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Johnson, D. L. (συγγραφέας.)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	London : Springer, 1998.
Σειρά:	Springer undergraduate mathematics series
Θέματα:	Λογική, Συμβολική και μαθηματική Αριθμοί, Θεωρία των

Παρόμοια τεκμήρια

Set theory and logic
ανά: Stoll, Robert R.
Έκδοση: (1979)

Sets, logic and categories /
ανά: Cameron, Peter J. 1947- (Peter Jephson)
Έκδοση: (1999)

Set theory and its logic /
ανά: Quine, W. V. (Willard Van Orman), 1908-2000
Έκδοση: (1969)

Elements of logic and foundations of mathematics
ανά: Marek, Wictor V.
Έκδοση: (1982)

Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 /
Έκδοση: (1967)

Admissible sets and structures an approach to definability theory
ανά: Barwise, Jon
Έκδοση: (1975)

Sets, logic, and axiomatic theories
ανά: Stoll, Robert R.
Έκδοση: (1961)

The elements of mathematical logic
ανά: Rosenbloom, Paul C.
Έκδοση: (1950)

Elements of mathematical logic
ανά: Novikov, S. P. (Sergeĭ Petrovich)
Έκδοση: (1964)

Elements of symbolic logic
ανά: Reichenbach, Hans, 1891-1953
Έκδοση: (1947)

Logic, sets, and recursion
ανά: Causey, Robert L.
Έκδοση: (2001)

Elements of mathematical logic : (model theory) /
ανά: Kreisel, Georg
Έκδοση: (1967)

Boolean-valued models and independence proofs in set theory
ανά: Bell, J. L.
Έκδοση: (1985)

Elements of number theory /
ανά: Barnett, I. A. 1894- (Isaac Albert)
Έκδοση: (1969)

Fuzzy sets and fuzzy logic : theory and applications /
ανά: Klir, George J. 1932-
Έκδοση: (1995)

Fuzzy sets and fuzzy logic theory and applications
ανά: Klir, George J. 1932-
Έκδοση: (1995)

Mathematical logic and foundations of set theory : proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968 /
Έκδοση: (1970)

The strange logic of random graphs
ανά: Spencer, Joel H.
Έκδοση: (2001)

Computational logic /
Έκδοση: (1999)

Logic of computation /
Έκδοση: (1997)

On group-theoretic decision problems and their classification /
ανά: Miller, Charles F., 1941-
Έκδοση: (1971)

Constructibility
ανά: Devlin, Keith J.
Έκδοση: (1984)

The limits of mathematics a course on information theory and limits of formal reasoning
ανά: Chaitin, Gregory J.
Έκδοση: (2003)

Transfinite Zahlen
Έκδοση: (1967)

Logiques, ensembles, categories le point de vue constructif
ανά: Ageron, Pierre
Έκδοση: (2000)

Logic and structure /
ανά: Dalen, D. van (Dirk), 1932-
Έκδοση: (2004)

Logic and algebra of specification /
Έκδοση: (1993)

Essentials of symbolic logic
ανά: Simpson, Robert L.
Έκδοση: (1988)

Classical recursion theory : the theory of functions and sets of natural numbers /
ανά: Odifreddi, Piergiorgio, 1950-
Έκδοση: (1989)

Logic : techniques of formal reasoning /
ανά: Kalish, Donald
Έκδοση: (1980)

Modal logic an introduction
ανά: Chellas, Brian F.
Έκδοση: (1995)

Logic as algebra /
ανά: Halmos, Paul R. (Paul Richard), 1916-2006
Έκδοση: (1998)

Logic for mathematicians
ανά: Hamilton, E. G.
Έκδοση: (1988)

Combinatory logic /
ανά: Curry, Haskell B. 1900- (Haskell Brooks)
Έκδοση: (1958)

Symbolic logic /
ανά: Lewis, Clarence Irving
Έκδοση: (1959)

Elementary logic
ανά: Quine, W. V. (Willard Van Orman), 1908-2000
Έκδοση: (1965)

Mathematical logic /
ανά: Shoenfield, Joseph R., 1927- (Joseph Robert)
Έκδοση: (1967)

Mathematical logic /
ανά: Ebbinghaus, Heinz-Dieter, 1939-
Έκδοση: (1994)

Mathematical logic
ανά: Kleene, Stephen Cole, 1909-1994
Έκδοση: (1967)

The language of logic
ανά: Freudenthal, Hans, 1905-
Έκδοση: (1966)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών