Proc. 2nd Scandinavian Logic Symposium

Main
Mathematics
Proc. 2nd Scandinavian Logic Symposium

Proc. 2nd Scandinavian Logic Symposium

J. E. Fenstad (editor)

0 / 0

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

Categorie:

Anno:

1971

Edizione:

NH

Casa editrice:

Elsevier Science

Lingua:

english

Pagine:

403

ISBN 10:

0720422590

ISBN 13:

9780720422597

Collana:

Studies in Logic and the Foundations of Mathematics

File:

DJVU, 2.22 MB

IPFS:

,

english, 1971

Scaricare (djvu, 2.22 MB)

La conversione in è in corso

La conversione in non è riuscita

Puoi essere interessati a

S.C. Kleene — Introduction to Metamathematics

Thomas Piecha, Peter Schroeder-Heister — Advances in Proof-Theoretic Semantics

Scedrov A., Nerode A., Sacks G. E. — Logic and Computer Science: Lectures Given at the First Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme, Italy, June 20-18, 1988

Giovanni Sambin, Jan M. Smith — Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995

Michael Dummett — Elements of Intuitionism

K. Schutte — Proof Theory

Gaisi Takeuti — Proof Theory

Anne S. Troelstra, Dirk van Dalen — Constructivism in mathematics: An introduction

Gaisi Takeuti — Proof theory

Samuel R. Buss (Editor) — Handbook of Proof Theory

Jean-Yves Girard — Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)

Gaisi Takeuti — Proof Theory

A. S. Troelstra, H. Schwichtenberg — Basic Proof Theory

A. S. Troelstra, H. Schwichtenberg — Basic Proof Theory

Jan von Plato — The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Gerhard Gentzen — The collected papers of Gerhard Gentzen

Kino A., Myhill J., Vesley R.E. (eds.) — Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

J. E. Fenstad (editor) — Proceedings of the Second Scandinavian Logic Symposium

A. G. Dragalin — Mathematical Intuitionism: Introduction to Proof Theory

Neil Tennant — Natural logic

A. M. Ungar — Normalization, cut-elimination and the theory of proofs

Jan von Plato — The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Dieter Probst;Peter Schuster — Concepts of Proof in Mathematics, Philosophy, and Computer Science

Dieter Probst;Peter Schuster — Concepts of Proof in Mathematics

Reinhard Kahle, Michael Rathjen (eds.) — Gentzen's Centenary, The Quest for Consistency

Diller J. (Ed) — Isilc - Proof Theory Symposion

F. Richman — Constructive Mathematics. Proc. conf. New Mexico, 1980

Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi — Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo

Egon Börger, Dean Rosenzweig (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.) — Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

Takahashi M., Okada M., Dezani-Ciancaglini M. (eds.) — Theories of types and proofs

Jean-Yves Girard — Proof Theory and Logic Complexity: Volume 1

Jan von Plato — The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Termini più frequenti