Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
An introduction to mathematica...
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews.
Saved in:
Bibliographic Details
Main Author:
Andrews, P. B. (Peter Bruce), 1937-
Format:
Book
Language:
English
Published:
Orlando :
Academic Press,
1986.
Series:
Computer science and applied mathematics.
Subjects:
Logic, Symbolic and mathematical.
Type theory.
Holdings
Description
Similar Items
Staff View
Similar Items
An introduction to mathematical logic
by: Robison, Gerson B., 1909-
Published: (1969)
Introduction to mathematical logic.
by: Mendelson, Elliott
Published: (1964)
An introduction to mathematical logic
by: Hodel, Richard E.
Published: (1995)
An algebraic introduction to mathematical logic
by: Barnes, Donald W.
Published: (1975)
Introduction to mathematical structures and proofs
by: Gerstein, Larry J.
Published: (1996)
Mathematical logic
by: Ebbinghaus, Heinz-Dieter, 1939-, et al.
Published: (2021)
Mathematical logic
by: Monk, J. Donald (James Donald), 1930-
Published: (1976)
Mathematical logic
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1984)
Twenty Five Years of Constructive Type Theory.
by: Sambin, Giovanni
Published: (1998)
Elements of mathematical logic. (Model theory)
by: Kreisel, Georg
Published: (1971)
Mathematical intuitionism : introduction to proof theory
by: Dragalin, Alʹbert Grigorʹevich
Published: (1988)
Handbook of mathematical logic
Published: (1976)
Introduction to symbolic logic,
by: Basson, A. H.
Published: (1960)
A course in mathematical logic
by: Manin, I︠U︡. I.
Published: (1977)
Popular lectures on mathematical logic
by: Wang, Hao, 1921-
Published: (1980)
Mathematical logic: a first course
by: Robbin, Joel W.
Published: (1969)
A course in mathematical logic for mathematicians
by: Manin, I︠U︡. I.
Published: (2010)
Classical and fuzzy concepts in mathematical logic and applications
by: Reghiș, Mircea
Published: (1998)
Aspects of mathematical logic. III ciclo. Varenna, 9-17 settembre 1968. Coordinatore: prof. E. Casari.
Published: (1969)
Algebraic methods of mathematical logic.
by: Rieger, Ladislav, 1916-1963
Published: (1967)
Logic and foundations of mathematics
Published: (1968)
Logic : mathematics, language, computer science, and philosophy
by: Swart, H. C. M. de
Published: (1993)
Mathematical foundations of programming
by: Beckman, Frank S.
Published: (1980)
Set theory and the continuum hypothesis
by: Cohen, Paul J., 1934-2007
Published: (1966)
Logic and structure
by: Dahlen, Dirk van, 1932-
Published: (1980)
Logic for mathematicians
by: Hamilton, A. G., 1943-
Published: (1978)
Logic as algebra
by: Halmos, Paul R. (Paul Richard), 1916-2006
Published: (1998)
First-order logic
by: Smullyan, Raymond M.
Published: (1968)
How to read and do proofs : an introduction to mathematical thought process
by: Solow, Daniel
Published: (1982)
Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
Published: (1975)
A new approach to logic
by: Katz, Robert, 1922-
Published: (1977)
Logic colloquium '73 : proceedings
Published: (1975)
The logic of sequences : a generalization of Principia mathematica
by: Quine, W. V. (Willard Van Orman)
Published: (1990)
Infinity and the mind : the science and philosophy of the infinite
by: Rucker, Rudy v. B. (Rudy von Bitter), 1946-
Published: (1982)
Mathematics and plausible reasoning.
by: Polya, George, 1887-
Published: (1954)
Logic Symposia, Hakone, 1979, 1980 : proceedings of a conference held in Gōra Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Published: (1981)
Euclid in the rainforest : discovering universal truth in logic and math
by: Mazur, Joseph
Published: (2005)
Entailment : the logic of relevance and necessity
by: Anderson, Alan Ross
Published: (1975)
Foundations without foundationalism : a case for second-order logic
by: Shapiro, Stewart, 1951-
Published: (1991)
A first course in formal logic and its applications in computer science
by: Dowsing, Roy
Published: (1986)
Prev
Next
Similar Items
An introduction to mathematical logic
by: Robison, Gerson B., 1909-
Published: (1969)
Introduction to mathematical logic.
by: Mendelson, Elliott
Published: (1964)
An introduction to mathematical logic
by: Hodel, Richard E.
Published: (1995)
An algebraic introduction to mathematical logic
by: Barnes, Donald W.
Published: (1975)
Introduction to mathematical structures and proofs
by: Gerstein, Larry J.
Published: (1996)