Mathematical logic /

Mathematical logic /

32

Chi tiết về thư mục
Tác giả chính:	365617 Quine, Willard Van Orman
Định dạng:
Được phát hành:	Cambridge : Harvard University Press, 1951
Những chủ đề:	Logic, Symbolic and mathematical

Những quyển sách tương tự

From a logical point of view : 9 logico-philosophical essays /
Bằng: 365617 Quine, Willard Van Orman
Được phát hành: (1953)

Word and object /
Bằng: Quine, W. V. (Willard Van Orman), author
Được phát hành: (c201)

Mathematical logic /
Bằng: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), et al.
Được phát hành: (1978)

Mathematical logic /
Bằng: Goodstein, R. L. (Reuben Louis)
Được phát hành: (1957)

Mathematical logic /
Bằng: 344925 Monk, James Donald
Được phát hành: (1976)

Mathematical logic /
Bằng: 307997 Shoenfield, Joseph Robert
Được phát hành: (1967)

Mathematical logic /
Bằng: 219920 Ebbinghaus, Heinz-Dieter, et al.
Được phát hành: (1994)

Mathematics and mathematical logic : new research /
Bằng: Milosav, Peter, et al.
Được phát hành: (c201)

Studies in constructive mathematics and mathematical logic /
Bằng: 321705 Slisenko, A. O.
Được phát hành: (1970)

Studies in constructive mathematics and mathematical logic /
Bằng: 321705 Slisenko, A. O.
Được phát hành: (1971)

Studies in constructive mathematics and mathematical logic /
Bằng: 321705 Slisenko, A. O.
Được phát hành: (1969)

Languages, logic and mathematics /
Bằng: Kilmister, C. W. (Clive William)
Được phát hành: (1967)

Elements of mathematical logic /
Bằng: 343101 Novikov, P. S.
Được phát hành: (1964)

Introduction to mathematical logic /
Bằng: 341948 Mendelson, Elliott
Được phát hành: (1964)

Introduction to mathematical logic /
Bằng: 341948 Mendelson, Elliott
Được phát hành: (1979)

Annals of mathematical logic
Được phát hành: (1970)

Introduction to mathematical logic /
Được phát hành: (2012)

Introduction to mathematical logic /
Bằng: 341948 Mendelson, Elliott
Được phát hành: (c201)

Lectures on mathematical logic /
Bằng: 314449 Felscher, Walter
Được phát hành: (2000)

Handbook of mathematical logic /
Bằng: Barwise, Jon
Được phát hành: (1977)

Introduction to mathematical logic /
Bằng: 341948 Mendelson, Elliott
Được phát hành: (1997)

Introduction to mathematical logic /
Bằng: 411257 Church, Alonzo
Được phát hành: (1956)

Principles of mathematical logic /
Bằng: 174681 Hilbert, David, et al.
Được phát hành: (1950)

Foundations of mathematical logic /
Bằng: 351193 Curry, Haskell Brooks
Được phát hành: (1977)

Mathematical logic and computability /
Bằng: 404540 Keisler, H. Jerome, et al.
Được phát hành: (1996)

Logic of mathematics : a modern course of classical logic /
Bằng: 454206 Adamowicz, Zofia, et al.
Được phát hành: (1997)

Logic in elementary mathematics /
Bằng: 375744 Exner, Robert M., et al.
Được phát hành: (1959)

Mathematical logic : applications and theory /
Bằng: 461395 Rubin, Jean E.
Được phát hành: (1990)

A course in mathematical logic /
Bằng: Manin, Iu I
Được phát hành: (1977)

A mathematical introduction to logic /
Bằng: 461543 Enderton, Herbert B.
Được phát hành: (1972)

A course in mathematical logic /
Bằng: 336600 Bell, John Lane, et al.
Được phát hành: (1977)

Mathematical logic and computability / [disket]
Bằng: 404540 Keisler, H. Jerome, et al.
Được phát hành: (1996)

Logic for mathematics and computer science /
Bằng: 392348 Burris, Stanley N.
Được phát hành: (1998)

Dictionary of symbols of mathematical logic /
Bằng: Feys, Robert, et al.
Được phát hành: (1973)

Logic in mathematics : an elementary approach /
Bằng: 285503 Hallerberg, Arthur Edward
Được phát hành: (1974)

Algebraic methods of mathematical logic /
Bằng: 404014 Reiger, Ladislav
Được phát hành: (1967)

A course on mathematical logic /
Bằng: Srivastava, S. M. (Shashi Mohan), et al.
Được phát hành: (2008)

Mathematical logic for computer science /
Bằng: 288973 Ben-Ari, Mordechai
Được phát hành: (2003)

Mathematical logic in Latin America : proceedings of the 4th Latin America Symposium on mathematical logic /
Bằng: Latin-America Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile), et al.
Được phát hành: (1980)

Mathematical logic and the foundations of mathematics; and introductory surver /
Bằng: 335802 Kneebone, G. T.
Được phát hành: ([196)