Introductory Formal Logic of Mathematics

Journal of Symbolic Logic 25 (1):77-78 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964358

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

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

Review: P. H. Nidditch, Introductory Formal Logic of Mathematics. [REVIEW]Gert Heinz Müller - 1960 - Journal of Symbolic Logic 25 (1):77-78.
Introductory formal logic of mathematics.Peter Harold Nidditch - 1957 - Glencoe, Ill.,: Free Press.
Introductory Formal Logic of Mathematics. By B. H. Nidditch. University Tutorial Press, 1957, pp. vi, 188.Jon Wheatley - 1964 - Dialogue 2 (4):486-487.
Nidditch P. H.. Introductory formal logic of mathematics. University Tutorial Press Ltd., London 1957, vii + 188 pp. [REVIEW]Gert Heinz Müller - 1960 - Journal of Symbolic Logic 25 (1):77-78.
Gert H. Müller. Nicht-Standardmodelle der Zahlentheorie. Mathematische Zeitschrift, vol. 77 , pp. 414–438.Abraham Robinson - 1972 - Journal of Symbolic Logic 37 (2):405-406.
Müller Gert Heinz. Charakterisierung einer Klasse von rekursiven Funktionen. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, herausgegeben von László Kalmár, Akadémiai Kiadó, Budapest 1965, S. 45–51.Müller G. H.. Rekursionsformen in der Zahlentheorie. Automatentheorie und formate Sprachen, Nr. 3, Bericht aus dem Mathematischen Forschungsinstitut Oberwolfach, herausgegeben von Johannes Dörr und Günter Hotz, Bibliographisches Institut, Mannheim–Wien–Zurich, Hochschultaschenbücher–Verlag, Mannheim 1970, S. 399–440. [REVIEW]Dieter Rödding - 1973 - Journal of Symbolic Logic 38 (1):156-157.
Introductory Logic and Formal Methods.David Heath, Derek Allum & Lynne Dunckley - 1994
A primer of formal logic.John Cleveland Cooley - 1942 - New York,: Macmillan.
Review: Arend Heyting, Formal Logic and Mathematics. [REVIEW]E. W. Beth - 1949 - Journal of Symbolic Logic 14 (3):195-195.
Formal logic in finite terms..Alfred Leon Foster - 1931 - [Hamburg, Germany,: Printed by Lütcke & Wulff.

Analytics

Added to PP
2017-02-21

Downloads
14 (#1,019,789)

6 months
13 (#219,656)

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