An introduction to the nature of proof /

QR Code

An introduction to the nature of proof /

Saved in:

Bibliographic Details
Main Author:	Del Grande, J. J.
Other Authors:	Egsgard, J. C., Mulligan, H. A., Coleman, A. J.
Format:	Book
Language:	English
Published:	Toronto : Gage, c1967.
Subjects:	Proof theory. Logic, Symbolic and mathematical.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

How to read and do proofs an introduction to mathematical thought process
by: Solow, Daniel
Published: (1982)

An introduction to mathematical logic and type theory : to truth through proof /
by: Andrews, P. B. (Peter Bruce), 1937-
Published: (1986)

A Study on Molla Sadra’s Evaluation of the Proofs of the Existence of God
by: Sayyed Mohammad Entazam
Published: (2013-05-01)

Introduction to symbolic logic /
by: Smith, Karl J.
Published: (1991)

Introduction to mathematical logic
by: Mendelson, Elliott
Published: (1979)

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II /
Published: (1984)

Elements of mathematical logic and set theory /
by: Slupecki, J.
Published: (1967)

An introduction to modern mathematics /
by: Monjallon, Albert
Published: (1967)

Introduction to the foundations of mathematics /
by: Wilder, Raymond Louis, 1896-
Published: (1965)

The logical and set-theoretical foundations of mathematics /
by: Zulauf, Achim
Published: (1969)

Elements of logic and foundations of mathematics in problems /
by: Wiktor, Marek
Published: (1982)

Sets, logic, and axiomatic theories /
by: Stoll, Robert Roth
Published: (1961)

Sets and logic 1 /
by: Bailey, C. A. R.
Published: (1964)

A course in mathematical logic
by: Bell, J. L. (John Lane)
Published: (1977)

Mathematical logic /
by: Kleene, Stephen Cole
Published: (1967)

Handbook of mathematical logic /
Published: (1977)

Logic and structure
by: Dalen, D. van (Dirk van), 1932-
Published: (1980)

The language of logic /
by: Freudenthal, Hans, 1905-
Published: (1966)

The elements of mathematical logic /
by: Rosenbloom, Paul C.
Published: (1950)

Logic of mathematics : a modern course of classical logic /
by: Adamowicz, Zofia
Published: (1997)

Logic and structure
by: Dalen, D. van (Dirk), 1932-
Published: (1983)

Logic for information technology /
by: Galton, Antony
Published: (1990)

Dictionary of symbols of mathematical logic /
Published: (1969)

Principles of mathematical logic /
by: Hilbert, D.
Published: (1990)

Direct and converse theorems : the elements of symbolic logic /
by: Gradshtein, I. S.
Published: (1963)

Mathematical thinking /
by: Godwin, D. C.
Published: (1971)

Foundations of computing : system development with set theory and logic /
by: Scheurer, Thierry
Published: (1994)

Standards and Methods of Proof
by: Paul Roberts
Published: (2025-06-01)

Math and logic games
by: Agostini, Franco
Published: (1983)

Mathematics and plausible reasoning
by: Polya, George, 1887-1985
Published: (1968)

Logic and algorithms : with applications to the computer and information sciences /
by: Korfhage, Robert R.
Published: (1966)

Equational logic as a programming language
by: O'Donnell, Michael J., 1952-
Published: (1985)

Review of Ayatollah Javadi Amoli's Perspective on the Proofs of God's Existence
by: حمیدرضا آیت اللهی
Published: (2017-08-01)

Tracing proof schemes: some patterns and newperspectives
by: Yasemin Yılmaz Akkurt, et al.
Published: (2022-01-01)

Computability : computable functions, logic, and the foundations of mathematics /
by: Epstein, Richard L.
Published: (1989)

Logic and databases /
Published: (1978)

Logic, algebra and databases
by: Gray, Peter M. D.
Published: (1984)

Elements of the theory of computation
by: Lewis, Harry R.
Published: (1981)

Principles of knowledge representation and reasoning : proceedings of the third international conference (KR '92) /
Published: (1992)

Application of logical and mathematical methods for the analysis of environmental information
by: L. Sh. Akhmedova, et al.
Published: (2022-12-01)