Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa /

Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa /

41

Bibliographic Details
Main Author:	De Alcantara, Luiz Paulo
Format:
Published:	New York : Marcel Dekker, 1985
Subjects:	Logic, Symbolic and mathematical

Similar Items

Logic techniques of formal reasoning /
by: 390934 Kalish, Donald, et al.
Published: (1980)

Mathematical logic : collected works of A. M. Turing /
by: 450742 Turing, Alan Mathison, et al.
Published: (2001)

Algebra and logic : papers /
by: Summer Research Institute of the Australia Mathematical Society (14th : 1974 : University, Victoria)
Published: (1975)

Five papers on logic and foundations /
by: 1335 American Mathematical Society, et al.
Published: (1972)

Logic, semantics, mathematics : papers from 1923 to 1938 /
by: 319988 Tarski, Alfred, et al.
Published: (1956)

Mathematical logic /
by: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), et al.
Published: (1978)

Mathematical logic /
by: Goodstein, R. L. (Reuben Louis)
Published: (1957)

Mathematical logic /
by: 344925 Monk, James Donald
Published: (1976)

Mathematical logic /
by: 307997 Shoenfield, Joseph Robert
Published: (1967)

Mathematical logic /
by: 365617 Quine, Willard Van Orman
Published: (1951)

Mathematical logic /
by: 219920 Ebbinghaus, Heinz-Dieter, et al.
Published: (1994)

Languages, logic and mathematics /
by: Kilmister, C. W. (Clive William)
Published: (1967)

Elements of mathematical logic /
by: 343101 Novikov, P. S.
Published: (1964)

Introduction to mathematical logic /
by: 341948 Mendelson, Elliott
Published: (1964)

Introduction to mathematical logic /
by: 341948 Mendelson, Elliott
Published: (1979)

Annals of mathematical logic
Published: (1970)

Introduction to mathematical logic /
Published: (2012)

Introduction to mathematical logic /
by: 341948 Mendelson, Elliott
Published: (c201)

Lectures on mathematical logic /
by: 314449 Felscher, Walter
Published: (2000)

Handbook of mathematical logic /
by: Barwise, Jon
Published: (1977)

Introduction to mathematical logic /
by: 341948 Mendelson, Elliott
Published: (1997)

Introduction to mathematical logic /
by: 411257 Church, Alonzo
Published: (1956)

Principles of mathematical logic /
by: 174681 Hilbert, David, et al.
Published: (1950)

Foundations of mathematical logic /
by: 351193 Curry, Haskell Brooks
Published: (1977)

Mathematical logic and computability /
by: 404540 Keisler, H. Jerome, et al.
Published: (1996)

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

Mathematics and mathematical logic : new research /
by: Milosav, Peter, et al.
Published: (c201)

Studies in constructive mathematics and mathematical logic /
by: 321705 Slisenko, A. O.
Published: (1970)

Studies in constructive mathematics and mathematical logic /
by: 321705 Slisenko, A. O.
Published: (1971)

Studies in constructive mathematics and mathematical logic /
by: 321705 Slisenko, A. O.
Published: (1969)

Mathematical logic : applications and theory /
by: 461395 Rubin, Jean E.
Published: (1990)

A course in mathematical logic /
by: Manin, Iu I
Published: (1977)

A mathematical introduction to logic /
by: 461543 Enderton, Herbert B.
Published: (1972)

A course in mathematical logic /
by: 336600 Bell, John Lane, et al.
Published: (1977)

Mathematical logic and computability / [disket]
by: 404540 Keisler, H. Jerome, et al.
Published: (1996)

Logic for mathematics and computer science /
by: 392348 Burris, Stanley N.
Published: (1998)

Dictionary of symbols of mathematical logic /
by: Feys, Robert, et al.
Published: (1973)

Logic in mathematics : an elementary approach /
by: 285503 Hallerberg, Arthur Edward
Published: (1974)

Algebraic methods of mathematical logic /
by: 404014 Reiger, Ladislav
Published: (1967)

A course on mathematical logic /
by: Srivastava, S. M. (Shashi Mohan), et al.
Published: (2008)