Initiatives in logic

(ed.)
Boston: M. Nijhoff (1987)
  Copy   BIBTEX

Abstract

', the reviewed collection may be recommended as an important contribution to the history as well as a description of some recent logical investigations. ' Studia Logica 12 1990.

Categories

Keywords

Reprint years

2011

Call number

BC135.I49 1987

ISBN(s)

9024736005
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Notes on Wajsberg's Proof of the Separation Theorem.M. N. Bezhanishvili
The logic of types.Wojciech Buszkowski
A Note on Zeno B3.Nicholas Denyer
The Logic of Conditions.Ingemund Gullvåg
Philosophical Pragmatism in Poincaré.Gerhard Heinzmann
Leibniz's Modal Calculus of Concepts.Maciej Juniewicz
On justification of questions.Leon Koj
Leibniz's calculus of strict implication.Wolfgang Lenzen
Anna Zalewska an application of mizar mse in a course in logic.A. Course In Logic
Systems of Computer-Aided Reasoning for Mathematics and Natural Language.Witold Marciszewski
Generalizations and strengthenings of Gödel's incompleteness theorem.Roman Murawski
Logical Analysis of Thomism.Edward Nieznański
The Logical Work of Mordchaj Wajsberg.Stanisław J. Surma
The use of Mizar MSE in a course in foundations of geometry.Lesław W. Szczerba
An application of Mizar MSE in a course in logic.Anna Zalewska

Similar books and articles

Popular lectures on mathematical logic.Hao Wang - 1981 - New York: Dover Publications.
Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
Symbolic logic.John Venn - 1894 - New York,: B. Franklin.
Principles of mathematical logic.David Hilbert - 1950 - Providence, R.I.: AMS Chelsea. Edited by W. Ackermann & Robert E. Luce.
From Peirce to Skolem: a neglected chapter in the history of logic.Geraldine Brady - 2000 - New York: North-Holland/Elsevier Science BV.
An introduction to symbolic logic.Susanne Katherina Knauth Langer - 1937 - New York,: Dover Publications.
19th century logic between philosophy and mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
Mathematical logic: a first course.Joel W. Robbin - 1969 - Mineola, N.Y.: Dover Publications.
Thought and logic: the debates between German-speaking philosophers and symbolic logicians at the turn of the 20th century.Jarmo Pulkkinen - 2005 - New York: P. Lang.

Analytics

Added to PP
2009-01-28

Downloads
16 (#880,136)

6 months
12 (#203,353)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Idealist Origins: 1920s and Before.Martin Davies & Stein Helgeby - 2014 - In Graham Oppy & Nick Trakakis (eds.), History of Philosophy in Australia and New Zealand. Dordrecht, Netherlands: Springer. pp. 15-54.

Add more citations

References found in this work

No references found.

Add more references