Proofs and refutations : :: SCD d'Orléans

Proofs and refutations : the logic of mathematical discovery

Proofs and refutations : the logic of mathematical discovery

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Lakatos, Imre, 1922-1974
Andre forfattere:	Worrall, John (Éditeur intellectuel), Zahar, Élie, 1937- (Éditeur intellectuel)
Format:	Livre papier
Sprog:	Anglais
Udgivet:	Cambridge ; London ; New York [etc.] : Cambridge University Press C 1976.
Fag:	Logique symbolique et mathématique
Kommentar:	Autres tirages : 1977, 1979, 1981, 1999
Autres localisations:	Voir dans le Sudoc

Lignende værker

Preuves et réfutations : essai sur la logique de la découverte mathématique
af: Lakatos, Imre, 1922-1974
Udgivet: (1984)

Termination proofs for logic programs
af: Plümer, Lutz, 1951-

Proof Theory : An Introduction
af: Pohlers, Wolfram

Proofs and fundamentals : a first course in abstract mathematics
af: Bloch, Ethan D., 1956-

A logical introduction to proof
af: Cunningham, Daniel W.

Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983 Part II

Applied proof theory : proof interpretations and their use in mathematics
af: Kohlenbach, Ulrich, 1962-
Udgivet: (2008)

Applied proof theory : proof interpretations and their use in mathematics
af: Kohlenbach, Ulrich, 1962-

Mathematical logic
af: Shoenfield, Joseph Robert, 1927-2000
Udgivet: (1967)

A mathematical introduction to logic
af: Enderton, Herbert, 1936-2010
Udgivet: (1972)

Handbook of mathematical logic
af: Barwise, Jon, 1942-2000, logicien
Udgivet: (1977)

Introduction to mathematical logic.
af: Church, Alonzo, 1903-1995
Udgivet: (1956)

Foundations of mathematical logic
af: Curry, Haskell Brooks, 1900-1982
Udgivet: (1963)

Elements of mathematical logic
af: Łukasiewicz, Jan, 1878-1956
Udgivet: (1963)

Introduction to mathematical logic
af: Mendelson, Elliott, 1931-2020
Udgivet: (1964)

The elements of mathematical logic
af: Rosenbloom, Paul C., 1920-2005
Udgivet: (1950)

Elements of mathematical logic
af: Novikov, Petr Sergeevich, 1901-1975
Udgivet: (1964)

Archive for mathematical logic.

A concise introduction to mathematical logic
af: Rautenberg, Wolfgang, 1936-

Types for proofs and programs : International Workshop TYPES 96 Aussois, France, December 15 19, 1996 : selected papers

Mathematical problems from applied logic. logics for the XXIst Century

Mathematical Problems from Applied Logic. Logics for the XXIst Century
af: Gabbay, Dov M., 1945-

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
af: Buchholz, Wilfried, 1948-, et autres

Mathematical logic : a first course
af: Robbin, Joel W.
Udgivet: (1969)

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Mathematical logic and the foundations of mathematics : an introductory survey
af: Kneebone, G. T.
Udgivet: (1963)

Notes on logic
af: Lyndon, Roger Conant, 1917-1988
Udgivet: (1966)

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25 29, 1997 : proceedings

Algebraic methods of mathematical logic
af: Rieger, Ladislav, 1916-1963
Udgivet: (1967)

Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers

Conference in mathematical logic, London '70

Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966
Udgivet: (1968)

Conference in mathematical logic, London '70
Udgivet: (1972)

Types for proofs and programs : International Workshop TYPES '94 Båstad, Sweden, June 6 10, 1994 : selected papers

Types for proofs and programs : international workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers

Mathematical Logic and Applications : Proceedings of the Logic Meeting held in Kyoto, 1987

Modal logics
af: Feys, Robert, 1889-1961
Udgivet: (1965)

Proof theory in computer science : ; proceedings international seminar, PTCS 2001, Dagstuhl Castle, Germany, Ocotober 7-12, 2001
af: Kahle, Reinhard, 1967-

An introduction to modal logic
af: Hughes, George Edward, 1918-, et autres
Udgivet: (1968)

Preuves et réfutations : essai sur la logique de la découverte mathématique
af: Lakatos, Imre, 1922-1974
Udgivet: (2014)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales