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
Logic colloquium '73 :
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Logic colloquium '73 : proceedings / Edited by H. E. Rose and J. C. Shepherdson.
Saved in:
Bibliographic Details
Corporate Author:
Logic Colloquium Bristol
Other Authors:
Rose, H. E.
,
Shepherdson, J. C.
Format:
Conference Proceeding
Book
Language:
English
Published:
Amsterdam : New York :
North-Holland Pub. Co. ; American Elsevier Pub. Co.,
1975.
Series:
Studies in logic and the foundations of mathematics;
v. 80.
Subjects:
Logic, Symbolic and mathematical
>
Congresses.
Holdings
Description
Similar Items
Staff View
Similar Items
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)
Logic and structure
by: Dahlen, Dirk van, 1932-
Published: (1980)
Mathematical logic
by: Ebbinghaus, Heinz-Dieter, 1939-, et al.
Published: (2021)
Mathematical logic
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1984)
Logic for mathematicians
by: Hamilton, A. G., 1943-
Published: (1978)
Logic as algebra
by: Halmos, Paul R. (Paul Richard), 1916-2006
Published: (1998)
Mathematical logic
by: Monk, J. Donald (James Donald), 1930-
Published: (1976)
Logic : mathematics, language, computer science, and philosophy
by: Swart, H. C. M. de
Published: (1993)
Introduction to mathematical logic.
by: Mendelson, Elliott
Published: (1964)
An introduction to mathematical logic
by: Hodel, Richard E.
Published: (1995)
An introduction to mathematical logic
by: Robison, Gerson B., 1909-
Published: (1969)
First-order logic
by: Smullyan, Raymond M.
Published: (1968)
Introduction to symbolic logic,
by: Basson, A. H.
Published: (1960)
Handbook of mathematical logic
Published: (1976)
Elements of mathematical logic. (Model theory)
by: Kreisel, Georg
Published: (1971)
An algebraic introduction to mathematical logic
by: Barnes, Donald W.
Published: (1975)
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)
A course in mathematical logic
by: Manin, I︠U︡. I.
Published: (1977)
Popular lectures on mathematical logic
by: Wang, Hao, 1921-
Published: (1980)
The logic of sequences : a generalization of Principia mathematica
by: Quine, W. V. (Willard Van Orman)
Published: (1990)
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)
An introduction to mathematical logic and type theory : to truth through proof
by: Andrews, P. B. (Peter Bruce), 1937-
Published: (1986)
Logic and foundations of mathematics
Published: (1968)
Entailment : the logic of relevance and necessity
by: Anderson, Alan Ross
Published: (1975)
A first course in formal logic and its applications in computer science
by: Dowsing, Roy
Published: (1986)
Foundations without foundationalism : a case for second-order logic
by: Shapiro, Stewart, 1951-
Published: (1991)
Euclid in the rainforest : discovering universal truth in logic and math
by: Mazur, Joseph
Published: (2005)
How to prove it : a structured approach
by: Velleman, Daniel J.
Published: (1994)
Introduction to mathematical structures and proofs
by: Gerstein, Larry J.
Published: (1996)
Mathematical intuitionism : introduction to proof theory
by: Dragalin, Alʹbert Grigorʹevich
Published: (1988)
How to read and do proofs : an introduction to mathematical thought process
by: Solow, Daniel
Published: (1982)
Mathematics and plausible reasoning.
by: Polya, George, 1887-
Published: (1954)
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory,
by: Gödel, Kurt
Published: (1940)
Principia mathematica,
by: Whitehead, Alfred North, 1861-1947
Published: (1950)
Collected works
by: Gödel, Kurt
Published: (1986)
Prev
Next
Similar Items
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)
Logic and structure
by: Dahlen, Dirk van, 1932-
Published: (1980)
Mathematical logic
by: Ebbinghaus, Heinz-Dieter, 1939-, et al.
Published: (2021)
Mathematical logic
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1984)
Logic for mathematicians
by: Hamilton, A. G., 1943-
Published: (1978)