Language proof and logic /

QR Code

Language proof and logic /

Bibliographic Details
Main Author:	Barwise, Jon (autor)
Other Authors:	Etchemendy, John, 1952- (autor), Allwein, Gerard, 1956- (autor), Barker-Plummer, Dave (autor), Liu, Albert, 1966- (autor)
Format:	Book
Language:	English
Published:	United States : Center for the Study of Language and Information, c1999.
Subjects:	LÓGICA

Similar Items

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

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

A logical introduction to proof /
by: Cunningham, Daniel Wendell
Published: (2012)

Language truth e logic.
by: Ayer, A. J., 1910-1989
Published: (1952)

Proofs and refutations : the logic of mathematical discovery /
by: Lakatos, Imre, et al.
Published: (1976)

The Language of Logic / Hans Freudenthal
by: Freudenthal, Hans

Proof theory : an introduction /
by: Pohlers, Wolfram, et al.
Published: (1964)

Language, truth and logic /
by: Ayer, Alfred Jules
Published: (1958)

Symbolic logic and language
by: Dickoff, James
Published: (1965)

Deductive logic and descriptive language /
by: Harrison, Frank R.
Published: (1969)

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 /
by: Richter, Michael M., et al.
Published: (1964)

Computability and logic /
by: Boolos, George
Published: (1980)

Introduction to Logic /
by: Copi, Irving M.
Published: (2002)

Discrete mathematics and induction to proofs and combinatory
by: Ferland, Kevin
Published: (2009)

Introduction to Logic
by: Copi, Irving M.
Published: (1994)

Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y. 1968. /
by: Kino, A., et al.
Published: (1970)

The art of proof : basic training for deeper mathematics /
by: Beck, Matthias,
Published: (2010)

Logic /
by: Salmon, Wesley C., et al.
Published: (1963)

Logic /
by: Ruge, Arnold 1802-1880, et al.
Published: (1913)

Logic and philosophy of logic : recent trends in Latin America and Spain /
Published: (2018)

Logic : the theory of inquiry
by: Dewey, John 1859-1952, et al.
Published: (1936)

Logic primer
by: Allen, Colin, et al.
Published: (1996)

Philosophy of logic /
by: Putnam, Hilary 1927-, et al.
Published: (1971)

Formal logic /
by: Maritain, Jacques 1882-1973, et al.
Published: (1946)

Methods of logic
by: Quine, Willard Van Orman, et al.
Published: (1960)

Methods of logic /
by: Quine, Willard Van Orman, 1908-2000
Published: (1966)

Introduction to logic /
by: Copi, Irving M.
Published: (2000)

Basic logic /
by: Mendelsohn, Richard L.
Published: (1987)

Introduction to logic
by: Copi, Irving M.
Published: (1961)

Logic for Undergraduates
by: Kreyche, Robert J.
Published: (1970)

Introduction to logic /
by: Copi, Irving Marmer
Published: (1957)

A proof theory for description logics /
by: Rademaker, Alexandre
Published: (2012)

Logic : a comprehensive introduction /
by: Guttenplan, Samuel D. 1944-
Published: (1998)

A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers /
by: Bouvere, Karel Louis de, et al.
Published: (1959)

Dictionary of logic, as applied in the study of language concepts, methods, theories
by: Marciszewski, Witold
Published: (1981)

Becoming logical : an introduction to logic /
by: Churchill, Robert Paul
Published: (1986)

Algebraic logic
by: Halmos, Paul R.
Published: (1962)

An introduction to deductive logic
by: Leblanc, Hugues 1924-, et al.
Published: (1955)

Introduction to logical theory /
by: Strawson, Peter F., et al.
Published: (1952)

Logic and effectiv argument
by: Bilsky, Manuel 1910-, et al.
Published: (1956)