Proof & truth : mathematical logic for non-mathematicians /

द्वारा Woods, John Hayden
प्रकाशित 1974

Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979 /

प्रकाशित 1982

Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985 /

प्रकाशित 1987

Logic and arithmetic.

द्वारा Bostock, David
प्रकाशित 1974

Clausal form logic : an introduction to the logic of computer reasoning /

द्वारा Richards, Tom
प्रकाशित 1989

Introduction to mathematical logic /

द्वारा Mendelson, Elliott
प्रकाशित 1979

Computability and logic /

द्वारा Boolos, George
प्रकाशित 1980

Proofs and refutations : the logic of mathematical discovery /

द्वारा Lakatos, Imre, 1922-1974
प्रकाशित 1976

Introduction to the foundations of mathematics /

द्वारा Wilder, Raymond L. (Raymond Louis), 1896-
प्रकाशित 1965

Mathematical logic and formalized theories : a survey of basic concepts and results.

द्वारा Rogers, Robert, 1926-
प्रकाशित 1971

Elements of mathematical logic /

द्वारा Novikov, P. S. (Petr Sergeevich)
प्रकाशित 1964

Constructive order types /

द्वारा Crossley, John N.
प्रकाशित 1969

Foundations of mathematics : Symposium papers commemorating the sixtieth birthday of Kurt Godel /

प्रकाशित 1969

Formal systems and recursive functions : proceedings /

प्रकाशित 1965

Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973 /

प्रकाशित 1975

Non-standard analysis.

द्वारा Robinson, Abraham, 1918-1974
प्रकाशित 1966

Proceedings of the Second Scandinavian Logic Symposium /

प्रकाशित 1971

Recursive function theory and logic.

द्वारा Yasuhara, Ann
प्रकाशित 1971

Dictionary of symbols of mathematical logic /

द्वारा Feys, Robert, 1889-1961
प्रकाशित 1969

A mathematical introduction to logic /

द्वारा Enderton, Herbert B.
प्रकाशित 1972