Spar
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.
- Undertittel
- 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
- Opplag
- Softcover reprint of the original 1st ed. 1979
- ISBN
- 9789400998278
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 17.10.2011
- Forlag
- Springer
- Antall sider
- 473
