Sets, logic and axiomatic theories /

Sets, logic and axiomatic theories /

41

书目详细资料
主要作者:	440414 Stoll, Robert Roth
格式:
出版:	San Francisco : W H Freeman, 1974
主题:	Set theory Logic, Symbolic and mathematical

相似书籍

Set theory and logic /
由: 440414 Stoll, Robert Roth
出版: (1963)

Elements of mathematical logic and set theory /
由: 323266 Slupecki, J., et al.
出版: (1967)

Introductory College Mathematics : sets and logic /
由: 385124 Hackworth, Robert D., et al.
出版: (1976)

Mathematical logic, the theory of algorithms and theory of sets /
由: Adjan, S.
出版: (1977)

Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers /
由: Schroder, Bernd S. W. (Bernd Siegfried Walter), 1966-
出版: (c201)

Set theory and the continuum hypothesis /
由: 336426 Cohen, Paul J.
出版: (1966)

Logic, computers and sets /
由: 263016 Wang, Hao
出版: (1970)

Logic, proof and sets /
由: 388844 Bittinger, Marvin L.
出版: (1982)

Sets, logic and categories /
由: Cameron, Peter J. (Peter Jephson), 1947-
出版: (1998)

A formalization of set theory without variables /
由: 319988 Tarski, Alfred, et al.
出版: (1987)

Foundations of computing : system development with set theory and logic /
由: 371186 Scheurer, Thierry
出版: (1994)

Conceptual models in mathematics : sets, logic and probability /
由: 388563 Hirst, K. E., et al.
出版: (1971)

Learning to reason : an introduction to logic, sets and relations /
由: Rodgers, Nancy, 1941-
出版: (2000)

ISILC logic conference : proceedings /
由: International Summer Institute and Logic Colloquium (1974 : University of Kiel), et al.
出版: (1975)

Elements of logic and foundations of mathematics in problems /
由: 215296 Marek, Wiktor, et al.
出版: (1982)

Proof, logic and conjecture : the mathematician's toolbox /
由: 267708 Wolf, Robert S
出版: (1998)

Logic, sets, and recursion /
由: 332434 Causey, Robert L.
出版: (2006)

Introduction to mathematical logic : set theory computable functions model theory /
由: Malitz, J
出版: (1979)

Axiomatic set theory /
由: 366566 Takeuti, Gaisi, et al.
出版: (1973)

Axiomatic set theory /
由: 305766 Bernays, Paul
出版: (1968)

Introduction to axiomatic set theory /
由: 366566 Takeuti, Gaisi, et al.
出版: (1971)

An introduction to the numerical operators in primary schools /
由: 366455 Tran, Tu Nguyet, et al.
出版: (1974)

Fundamental concepts of modern mathematics /
由: 183529 Larsen, Max D.
出版: (1970)

The logical and set-theoretical foundations of mathematics /
由: 339363 Zulauf, Achim
出版: (1969)

Mathematical logic : applications and theory /
由: 461395 Rubin, Jean E.
出版: (1990)

Localization and iteration of axiomatic set theory /
由: 438121 Kruse, Arthur H.
出版: (1969)

Axiomatic set theory : impredicative theories of classes /
由: 438082 Chuaqui, R.

Elements of mathematical logic (model theory) /
由: 351900 Kreisel, G., et al.
出版: (1971)

Switching circuits : theory and logic design /
由: 227389 Torng, H. C.
出版: (1972)

Mathematical logic : an introduction to model theory /
由: 314347 Lightstone, A. H., et al.
出版: (1978)

Logic design theory /
由: Biswas, Nripendra Nath, 1928-
出版: (1993)

Mathematical logic /
由: 307997 Shoenfield, Joseph Robert
出版: (1967)

Combinatory logic /
由: 351193 Curry, Haskell Brooks, et al.
出版: (1974)

Logica universalis : towards a general theory of logic /
由: Beziau, Jean-Yves
出版: (2007)

Foundations of logic and mathematics : applications to computer science and cryptography /
由: 218147 Nievergelt, Yves
出版: (2002)

Dictionary of symbols of mathematical logic /
由: Feys, Robert, et al.
出版: (1973)

Logic /
由: 344312 Earle, Nick
出版: (1973)

Infinity and truth /
由: Chong, C.-T. (Chi-Tat), 1949- editor
出版: (2014)

Logic of mathematics : a modern course of classical logic /
由: 454206 Adamowicz, Zofia, et al.
出版: (1997)

Symbolic logic /
由: 372615 Jacquette, Dale
出版: (2001)