 |
|
|
Item Details
| Title:
|
ESSAYS ON MATHEMATICAL AND PHILOSOPHICAL LOGIC
PROCEEDINGS OF THE FOURTH SCANDINAVIAN LOGIC SYMPOSIUM AND OF THE FIRST SOVIET-FINNISH LOGIC CONFERENCE, JYVASKYLA, FINLAND, JUNE 29-JULY 6, 1976 |
| By: |
Jaakko Hintikka (Editor), Ilkka Niiniluoto (Editor), Esa Saarinen (Editor) |
| Format: |
Hardback |
| List price:
|
£199.99 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
9027708797 |
| ISBN 13: |
9789027708793 |
| Publisher: |
SPRINGER |
| Pub. date: |
1 December, 1978 |
| Edition: |
1979 ed. |
| Series: |
Synthese Library 122 |
| Pages: |
473 |
| Description: |
Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyvaskyla, Finland, June 29-July 6, 1976. |
| Synopsis: |
The Fourth Scandinavian Logic Symposium and the First Soviet-Finnish Logic Conference were held in JyvaskyIa, Finland, June 29-July 6, 1976. The Conferences were organized by a committee which consisted of the editors of the present volume. The Conferences were supported financially by the Ministry of Education of Finland, by the Academy of Finland, and by the Division of Logic, Methodology, and Philosophy of Science of the International Union of History of Science. The Philosophical Society of Finland and the Jyvaskyla Summer Festival gave valuable help in various practicalities. 35 papers by authors representing 10 countries were presented at the two meetings. Of those papers 24 appear here. 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. A. SMIRNOV / Theory of Quantification and tff-calculi 41 LARS SVENONIUS/Two Kinds of Extensions of Primitive Recursive Arithmetic 49 DIRK VAN DALEN and R.STATMAN / Equality in the Presence of Apartness 95 PART II / INFINITARY LANGUAGES VEIKKO RANTALA / Game-Theoretical Semantics and Back-and- Forth 119 MAARET KAR TTUNEN / Infinitary Languages N oo~. |
| Illustrations: |
biography |
| Publication: |
Netherlands |
| Imprint: |
Kluwer Academic Publishers |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|