Mot-cléThéorie de la démonstration

Mot-clé anglais: proof theory (améliorer cette traduction)

Comprend: proof theory, Proof Theory, Proof theory

Traductions: Beweistheorie, Teoría de la demostración, Théorie de la démonstration, Bewijstheorie, Teoria dowodu, Teoria da Prova, Теория доказательств, Bevisteori

Oeuvres étiquetées

Le plus souvent étiqueté | Pondéré | Populaire récemment | Publié récemment — Filtre: Aucun (modifier)

The Nuts and Bolts of Proofs par Antonella Cupillari (4 fois)
Mathematical Proofs: A Transition to Advanced Mathematics par Gary Chartrand (3 fois)
The Logic of Provability par George S. Boolos (3 fois)
Proof Theory par Gaisi Takeuti (2 fois)
The Proof is in the Pudding: The Changing Nature of Mathematical Proof par Steven G. Krantz (2 fois)
Handbook of Proof Theory par S.R. Buss (2 fois)
Mathematical Thinking and Writing: A Transition to Higher Mathematics par Randall Maddox (2 fois)
Basic Proof Theory par A. S. Troelstra (2 fois)
Proofs and Fundamentals: A First Course in Abstract Mathematics par Ethan D. Bloch (2 fois)
Math Proofs DeMYSTiFieD par Stan Gibilisco (2 fois)
Reading, Writing, and Proving: A Closer Look at Mathematics par Ulrich Daepp (2 fois)
Natural Deduction: A Proof-Theoretical Study par Dag Prawitz (2 fois)
How to Prove It: A Structured Approach par Daniel J. Velleman (2 fois)
Logic, Semantics, Metamathematics par Alfred Tarski (2 fois)
How to Read and Do Proofs: An Introduction to Mathematical Thought Processes par Daniel Solow (2 fois)
How to Solve It: A New Aspect of Mathematical Method par George Pólya (2 fois)
Entailment, Vol. 2: The Logic of Relevance and Necessity par Alan Ross Anderson (1 fois)
Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics par Lorenz Halbeisen (1 fois)
Write Your Own Proofs: in Set Theory and Discrete Mathematics (Dover Books on Mathematics) par Amy Babich (1 fois)
Exploring Mathematics: Problem-Solving and Proof par Daniel Grieser (1 fois)
Proof!: How the World Became Geometrical par Amir R. Alexander (1 fois)
Exploring the Infinite: An Introduction to Proof and Analysis (Textbooks in Mathematics) par Jennifer Brooks (1 fois)
Theorems, corollaries, lemmas, and methods of proof par Richard J. Rossi (1 fois)
Philosophy of Mathematics par Øystein Linnebo (1 fois)
The Tools of Mathematical Reasoning par Tamara J. Lakins (1 fois)

Titres Couvertures

Utilise le mot clé

EnochEdwards (8), updgenref (4), idiosyncratic (4), lidaskoteina (3), stefano (2), HendDawood (2), adno (2), ozfiztheweird (2), MITLibStaff (1), AbsentQualia (1), draganigajic (1), mfd101 (1), andrzejs (1), prosfilaes (1), wolfram (1), cpg (1), AsYouKnow_Bob (1), JayDugger (1), chaimkut (1), ucomigna (1), StatEpi_Library (1) et 59 autres utilisateurs

Google Books Ngram Viewer

Données du Books Ngram Viewer

Mot-cléThéorie de la démonstration

Mot-clé anglais: proof theory (améliorer cette traduction)

Oeuvres étiquetées

Utilise le mot clé

Mots clé ajouté recemment

Google Books Ngram Viewer

Mots-clés connexes

Séries associées

Ensembles associés de mots-clés