Sets, logic and axiomatic theories /

Sets, logic and axiomatic theories /

41

Podrobná bibliografie
Hlavní autor:	440414 Stoll, Robert Roth
Médium:
Vydáno:	San Francisco : W H Freeman, 1974
Témata:	Set theory Logic, Symbolic and mathematical

Podobné jednotky

Set theory and logic /
Autor: 440414 Stoll, Robert Roth
Vydáno: (1963)

Elements of mathematical logic and set theory /
Autor: 323266 Slupecki, J., a další
Vydáno: (1967)

Introductory College Mathematics : sets and logic /
Autor: 385124 Hackworth, Robert D., a další
Vydáno: (1976)

Mathematical logic, the theory of algorithms and theory of sets /
Autor: Adjan, S.
Vydáno: (1977)

Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers /
Autor: Schroder, Bernd S. W. (Bernd Siegfried Walter), 1966-
Vydáno: (c201)

Set theory and the continuum hypothesis /
Autor: 336426 Cohen, Paul J.
Vydáno: (1966)

Logic, computers and sets /
Autor: 263016 Wang, Hao
Vydáno: (1970)

Logic, proof and sets /
Autor: 388844 Bittinger, Marvin L.
Vydáno: (1982)

Sets, logic and categories /
Autor: Cameron, Peter J. (Peter Jephson), 1947-
Vydáno: (1998)

A formalization of set theory without variables /
Autor: 319988 Tarski, Alfred, a další
Vydáno: (1987)

Foundations of computing : system development with set theory and logic /
Autor: 371186 Scheurer, Thierry
Vydáno: (1994)

Conceptual models in mathematics : sets, logic and probability /
Autor: 388563 Hirst, K. E., a další
Vydáno: (1971)

Learning to reason : an introduction to logic, sets and relations /
Autor: Rodgers, Nancy, 1941-
Vydáno: (2000)

ISILC logic conference : proceedings /
Autor: International Summer Institute and Logic Colloquium (1974 : University of Kiel), a další
Vydáno: (1975)

Elements of logic and foundations of mathematics in problems /
Autor: 215296 Marek, Wiktor, a další
Vydáno: (1982)

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

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

Introduction to mathematical logic : set theory computable functions model theory /
Autor: Malitz, J
Vydáno: (1979)

Axiomatic set theory /
Autor: 366566 Takeuti, Gaisi, a další
Vydáno: (1973)

Axiomatic set theory /
Autor: 305766 Bernays, Paul
Vydáno: (1968)

Introduction to axiomatic set theory /
Autor: 366566 Takeuti, Gaisi, a další
Vydáno: (1971)

An introduction to the numerical operators in primary schools /
Autor: 366455 Tran, Tu Nguyet, a další
Vydáno: (1974)

Fundamental concepts of modern mathematics /
Autor: 183529 Larsen, Max D.
Vydáno: (1970)

Localization and iteration of axiomatic set theory /
Autor: 438121 Kruse, Arthur H.
Vydáno: (1969)

The logical and set-theoretical foundations of mathematics /
Autor: 339363 Zulauf, Achim
Vydáno: (1969)

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

Mathematical logic : applications and theory /
Autor: 461395 Rubin, Jean E.
Vydáno: (1990)

Elements of mathematical logic (model theory) /
Autor: 351900 Kreisel, G., a další
Vydáno: (1971)

Logic design theory /
Autor: Biswas, Nripendra Nath, 1928-
Vydáno: (1993)

Switching circuits : theory and logic design /
Autor: 227389 Torng, H. C.
Vydáno: (1972)

Mathematical logic : an introduction to model theory /
Autor: 314347 Lightstone, A. H., a další
Vydáno: (1978)

Mathematical logic /
Autor: 307997 Shoenfield, Joseph Robert
Vydáno: (1967)

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

Logica universalis : towards a general theory of logic /
Autor: Beziau, Jean-Yves
Vydáno: (2007)

Foundations of logic and mathematics : applications to computer science and cryptography /
Autor: 218147 Nievergelt, Yves
Vydáno: (2002)

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

Logic /
Autor: 344312 Earle, Nick
Vydáno: (1973)

Infinity and truth /
Autor: Chong, C.-T. (Chi-Tat), 1949- editor
Vydáno: (2014)

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

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