Language proof and logic /

Código QR

Language proof and logic /

Detalles Bibliográficos
Autor principal:	Barwise, Jon (autor)
Otros Autores:	Etchemendy, John, 1952- (autor), Allwein, Gerard, 1956- (autor), Barker-Plummer, Dave (autor), Liu, Albert, 1966- (autor)
Formato:	Libro
Lenguaje:	English
Publicado:	United States : Center for the Study of Language and Information, c1999.
Materias:	LÓGICA

Ejemplares similares

Handbook of mathematical logic
por: Barwise, Jon
Publicado: (1977)

Handbook of mathematical logic /
por: Barwise, Jon
Publicado: (1978)

A logical introduction to proof /
por: Cunningham, Daniel Wendell
Publicado: (2012)

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

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

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

Proof theory : an introduction /
por: Pohlers, Wolfram, et al.
Publicado: (1964)

Language, truth and logic /
por: Ayer, Alfred Jules
Publicado: (1958)

Symbolic logic and language
por: Dickoff, James
Publicado: (1965)

Deductive logic and descriptive language /
por: Harrison, Frank R.
Publicado: (1969)

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

Computability and logic /
por: Boolos, George
Publicado: (1980)

Introduction to Logic /
por: Copi, Irving M.
Publicado: (2002)

Discrete mathematics and induction to proofs and combinatory
por: Ferland, Kevin
Publicado: (2009)

Introduction to Logic
por: Copi, Irving M.
Publicado: (1994)

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

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

Logic /
por: Salmon, Wesley C., et al.
Publicado: (1963)

Logic /
por: Ruge, Arnold 1802-1880, et al.
Publicado: (1913)

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

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

Logic primer
por: Allen, Colin, et al.
Publicado: (1996)

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

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

Methods of logic
por: Quine, Willard Van Orman, et al.
Publicado: (1960)

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

Introduction to logic /
por: Copi, Irving M.
Publicado: (2000)

Basic logic /
por: Mendelsohn, Richard L.
Publicado: (1987)

Introduction to logic
por: Copi, Irving M.
Publicado: (1961)

Logic for Undergraduates
por: Kreyche, Robert J.
Publicado: (1970)

Introduction to logic /
por: Copi, Irving Marmer
Publicado: (1957)

A proof theory for description logics /
por: Rademaker, Alexandre
Publicado: (2012)

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

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

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

Becoming logical : an introduction to logic /
por: Churchill, Robert Paul
Publicado: (1986)

Algebraic logic
por: Halmos, Paul R.
Publicado: (1962)

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

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

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