Essays on Mathematical and Philosophical Logic: Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29-July 6, 1976 (1979 edition)
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 ...
Read More
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~.
Read Less
Add this copy of Essays on Mathematical and Philosophical Logic to cart. $234.39, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1978 by Springer.
Add this copy of Essays on Mathematical and Philosophical Logic: to cart. $52.74, like new condition, Sold by Zubal Books rated 5.0 out of 5 stars, ships from Cleveland, OH, UNITED STATES, published 1979 by D. Reidel.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
*Price HAS BEEN REDUCED by 10% until Monday, March 3. Order now for best savings* 473 pp., Hardcover, fine in a very good dust jacket. -If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Add this copy of Essays on Mathematical and Philosophical Logic: to cart. $97.00, very good condition, Sold by Common Crow Books rated 5.0 out of 5 stars, ships from Pittsburgh, PA, UNITED STATES, published 1979 by D. Reidel.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Near Fine in Very good+ jacket. Hardcover with blue cloth boards in dust jacket, 1979, octavo, 462pp., not illustrated. Book near fine with handsome boards and tight binding, endpapers gently off-set, otherwise text clean and unmarked. DJ VG+ with rubbing, toning, hint of shelfwear.
Add this copy of Essays on Mathematical and Philosophical Logic: to cart. $215.66, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1978 by Springer.
Add this copy of Essays on Mathematical and Philosophical Logic: to cart. $209.67, new condition, Sold by GridFreed rated 4.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 1978 by Springer.
All Editions of 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
