Amitabha Ghose. Konstruktive Grundlagen der Logik. Sonne Verlag, New Delhi1966, vi + 40 + 2 pp [Book Review]

Journal of Symbolic Logic 32 (4):518 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1968

DOI

10.2307/2270183

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Konstruktive Grundlagen der Logik.Amitabha Ghose - 1967 - Journal of Symbolic Logic 32 (4):518-518.
Konstruktive Teiltheorien.Peter Schreiber - 1971 - Mathematical Logic Quarterly 17 (1):197-204.
Ein Kriterium für die Konstruktive Lösbarkeit der Differentialgleichungy' =f.Jürgen Hauck - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (21-23):357-362.
Konstruktive Darstellungen Reeller Zahlen und Folgen.Jürgen Hauck - 1978 - Mathematical Logic Quarterly 24 (19-24):365-374.
Different Notions of Constructivity — their Ontology.Amitabha Ghose - 1978 - Dialectica 32 (3‐4):245-253.
The length of proofs (').Amitabha Ghose - 1968 - In P. Braffort & F. van Scheepen (eds.), Automation in language translation and theorem proving. Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information. pp. 41.
Singular Propositions and Aristotle’s Conception of Logic.Amitabha Ghose - 1975 - International Philosophical Quarterly 15 (3):327-331.
Free choice sequences I».Amitabha Ghose - 1968 - In P. Braffort & F. van Scheepen (eds.), Automation in language translation and theorem proving. Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information. pp. 245.
Hilbert D. and Ackermann W.. Grundzüge der theoretischen Logik. Fourth edition. Die Grundlagen der mathematischen Wissenschaften, vol. 27. Springer-Verlag, Berlin-Göttingen-Heidelberg 1959, VIII + 188 pp. [REVIEW]F. H. Fischer - 1960 - Journal of Symbolic Logic 25 (2):158-158.
K. S. Bakradse. Über das Verhältnis von Logik und Dialektik. German translation of XVII 124. Über formale Logik und Dialektik, Diskussionsbeiträge , 29. Beiheft zur Sowjetwissenschaft, Verlag Kultur und Fortschritt, Berlin1952, pp. 7–26. - W. I. Tscherkessow. Über Logik und marxistische Dialektik. German translation of XVII 124. Über formale Logik und Dialektik, Diskussionsbeiträge , 29. Beiheft zur Sowjetwissenschaft, Verlag Kultur und Fortschritt, Berlin1952, pp. 27–46. - M. S. Strogowitsch. Über den Gegenstand der formalen Logik. German translation of XVII 124. Über formale Logik und Dialektik, Diskussionsbeiträge , 29. Beiheft zur Sowjetwissenschaft, Verlag Kultur und Fortschritt, Berlin1952, pp. 47–59. - I. I. Osmakow. Über die Logik des Denkens und die Wissenschaft der Logik. German translation of XVII 124. Über formale Logik und Dialektik, Diskussionsbeiträge , 29. Beiheft zur Sowjetwissenschaft, Verlag Kultur und Fortschritt, Berlin1952, pp. 77–98. - W. P. Tugarinow and L. J. M. [REVIEW]J. F. Thomson - 1953 - Journal of Symbolic Logic 18 (1):86-87.
Marian Boykan Pour-El and Hilary Putnam. Recursively enumerable classes and their application to recursive sequences of formal theories. Archiv für mathematische Logik und Grundlagenforschung, vol. 8 no. 3–4 , pp. 104–121. - Marian Boykan Pour-El and William A. Howard. A structural criterion for recursive enumeration without repetition. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 105–114. - A. H. Lachlan. On recursive enumeration without repetition. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 209–220. - A. H. Lachlan. On recursive enumeration without repetition: a correction. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 99–100. [REVIEW]James C. Owings - 1973 - Journal of Symbolic Logic 38 (1):155-156.
Harrop Ronald. On the recursivity of finite sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 136–140.Hořejš Jiří. Note on definition of recursiveness. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 119–120. [REVIEW]Charles Parsons - 1968 - Journal of Symbolic Logic 33 (1):115-115.
Vopěnka Petr. Odin metod postroéniá néstandartnoj modéli aksiomatičéskoj téorii množéstv Bérnajsa Gédélá . Doklady Akadémii Nauk SSSR, vol. 143 , pp. 11–12.Vopěnka Petr. Postroénié modéléj téorii množéstv métodom spéktra . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 149–160.Vopěnka Petr. Eléméntarnyé pondtiá v téorii množéstv . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 161–167.Vopěnka Petr. Postroénié néstandartnoj nérégulárnoj modéli téorii množéstv . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 229–233.Vopěnka Petr. Podmodéli modéléj téorii množéstv . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 163–172. [REVIEW]Andrzej Mostowski - 1970 - Journal of Symbolic Logic 35 (3):470-472.
Historia Mundi, 2. Bd. Grundlagen und Entfaltung der ältesten Hochkulturen, Leo Lehnen Verlag, München-A. Francke Verlag, Bern, 1953, 655 pp. [REVIEW]E. L. Ehrlich - 1956 - Zeitschrift für Religions- Und Geistesgeschichte 8 (4):371-375.
Elliott Mendelson. A semantic proof of the eliminability of descriptions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 , pp. 199–200. - T. G. McLaughlin. A muted variation on a theme of Mendelson. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 57–60. [REVIEW]John Bacon - 1973 - Journal of Symbolic Logic 38 (4):660.

Analytics

Added to PP
2013-11-22

Downloads
12 (#1,086,490)

6 months
2 (#1,200,830)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references