Mathematical logic /

Mathematical logic /

32

Библиографические подробности
Главный автор:	365617 Quine, Willard Van Orman
Формат:
Опубликовано:	Cambridge : Harvard University Press, 1951
Предметы:	Logic, Symbolic and mathematical

Схожие документы

From a logical point of view : 9 logico-philosophical essays /
по: 365617 Quine, Willard Van Orman
Опубликовано: (1953)

Word and object /
по: Quine, W. V. (Willard Van Orman), author
Опубликовано: (c201)

Mathematical logic /
по: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), и др.
Опубликовано: (1978)

Mathematical logic /
по: Goodstein, R. L. (Reuben Louis)
Опубликовано: (1957)

Mathematical logic /
по: 344925 Monk, James Donald
Опубликовано: (1976)

Mathematical logic /
по: 307997 Shoenfield, Joseph Robert
Опубликовано: (1967)

Mathematical logic /
по: 219920 Ebbinghaus, Heinz-Dieter, и др.
Опубликовано: (1994)

Mathematics and mathematical logic : new research /
по: Milosav, Peter, и др.
Опубликовано: (c201)

Studies in constructive mathematics and mathematical logic /
по: 321705 Slisenko, A. O.
Опубликовано: (1970)

Studies in constructive mathematics and mathematical logic /
по: 321705 Slisenko, A. O.
Опубликовано: (1971)

Studies in constructive mathematics and mathematical logic /
по: 321705 Slisenko, A. O.
Опубликовано: (1969)

Languages, logic and mathematics /
по: Kilmister, C. W. (Clive William)
Опубликовано: (1967)

Elements of mathematical logic /
по: 343101 Novikov, P. S.
Опубликовано: (1964)

Introduction to mathematical logic /
по: 341948 Mendelson, Elliott
Опубликовано: (1964)

Introduction to mathematical logic /
по: 341948 Mendelson, Elliott
Опубликовано: (1979)

Annals of mathematical logic
Опубликовано: (1970)

Introduction to mathematical logic /
Опубликовано: (2012)

Introduction to mathematical logic /
по: 341948 Mendelson, Elliott
Опубликовано: (c201)

Lectures on mathematical logic /
по: 314449 Felscher, Walter
Опубликовано: (2000)

Handbook of mathematical logic /
по: Barwise, Jon
Опубликовано: (1977)

Introduction to mathematical logic /
по: 341948 Mendelson, Elliott
Опубликовано: (1997)

Introduction to mathematical logic /
по: 411257 Church, Alonzo
Опубликовано: (1956)

Principles of mathematical logic /
по: 174681 Hilbert, David, и др.
Опубликовано: (1950)

Foundations of mathematical logic /
по: 351193 Curry, Haskell Brooks
Опубликовано: (1977)

Mathematical logic and computability /
по: 404540 Keisler, H. Jerome, и др.
Опубликовано: (1996)

Logic of mathematics : a modern course of classical logic /
по: 454206 Adamowicz, Zofia, и др.
Опубликовано: (1997)

Logic in elementary mathematics /
по: 375744 Exner, Robert M., и др.
Опубликовано: (1959)

Mathematical logic : applications and theory /
по: 461395 Rubin, Jean E.
Опубликовано: (1990)

A course in mathematical logic /
по: Manin, Iu I
Опубликовано: (1977)

A mathematical introduction to logic /
по: 461543 Enderton, Herbert B.
Опубликовано: (1972)

A course in mathematical logic /
по: 336600 Bell, John Lane, и др.
Опубликовано: (1977)

Mathematical logic and computability / [disket]
по: 404540 Keisler, H. Jerome, и др.
Опубликовано: (1996)

Logic for mathematics and computer science /
по: 392348 Burris, Stanley N.
Опубликовано: (1998)

Dictionary of symbols of mathematical logic /
по: Feys, Robert, и др.
Опубликовано: (1973)

Logic in mathematics : an elementary approach /
по: 285503 Hallerberg, Arthur Edward
Опубликовано: (1974)

Algebraic methods of mathematical logic /
по: 404014 Reiger, Ladislav
Опубликовано: (1967)

A course on mathematical logic /
по: Srivastava, S. M. (Shashi Mohan), и др.
Опубликовано: (2008)

Mathematical logic for computer science /
по: 288973 Ben-Ari, Mordechai
Опубликовано: (2003)

Mathematical logic in Latin America : proceedings of the 4th Latin America Symposium on mathematical logic /
по: Latin-America Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile), и др.
Опубликовано: (1980)

Mathematical logic and the foundations of mathematics; and introductory surver /
по: 335802 Kneebone, G. T.
Опубликовано: ([196)