Tallenna
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.
- Alaotsikko
- Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29–July 6, 1976
- Toimittaja
- Jaakko Hintikka, I. Niiniluoto, Esa. Saarinen
- Painos
- Softcover reprint of the original 1st ed. 1979
- ISBN
- 9789400998278
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 17.10.2011
- Kustantaja
- Springer
- Sivumäärä
- 473
