Spara
Essays on Mathematical and Philosophical Logic
THE EDITORS v TABLE OF CONTENTS PREFACE v PART 1/ PROOF THEORY GEORG KREISEL / Some Facts from the Theory of Proofs and Some Fictions from General Proof Theory 3 DAG PRAWITZ / Proofs and the Meaning and Completeness of the Logical Constants 25 v.
- Undertitel
- Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29–July 6, 1976
- Redaktör
- Jaakko Hintikka, I. Niiniluoto, Esa. Saarinen
- Upplaga
- Softcover reprint of the original 1st ed. 1979
- ISBN
- 9789400998278
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2011-10-17
- Förlag
- Springer
- Sidor
- 473
