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
Classification Theory
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Classification Theory Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic Held in Chicago, Dec. 15-19, 1985 / edited by John T. Baldwin.
Saved in:
Bibliographic Details
Corporate Author:
SpringerLink (Online service)
Other Authors:
Baldwin, John T.
(Editor)
Format:
eBook
Language:
English
Published:
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1987.
Edition:
1st ed. 1987.
Series:
Lecture Notes in Mathematics,
1292
Springer eBook Collection.
Subjects:
Mathematical logic.
Electronic resources (E-books)
Online Access:
Click to view e-book
Holy Cross Note:
Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Holdings
Description
Table of Contents
Similar Items
Staff View
Similar Items
Around Classification Theory of Models
by: Shelah, Saharon
Published: (1986)
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
by: Lavrov, Igor, et al.
Published: (2003)
Towards a General Theory of Classifications
by: Parrochia, Daniel, et al.
Published: (2013)
Mathematical Logic and Model Theory A Brief Introduction
by: Prestel, Alexander, et al.
Published: (2011)
Course of Mathematical Logic Volume 2 Model Theory
by: Fraïssé, R.
Published: (1974)
A Course in Model Theory An Introduction to Contemporary Mathematical Logic
by: Poizat, Bruno
Published: (2000)
Mathematical Logic An Introduction to Model Theory
by: Lightstone, A.
Published: (1978)
Hybrid Logic and its Proof-Theory
by: Braüner, Torben
Published: (2011)
Iteration Theories The Equational Logic of Iterative Processes
by: Bloom, Stephen L., et al.
Published: (1993)
Ω-Bibliography of Mathematical Logic Model Theory
Published: (1987)
Set Theory and Model Theory Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979
Published: (1981)
Theory of Logical Calculi Basic Theory of Consequence Operations
by: Wójcicki, Ryszard
Published: (1988)
Proof Theory of Modal Logic
Published: (1996)
Institution-independent Model Theory
by: Diaconescu, Razvan
Published: (2008)
Theory of Graded Consequence A General Framework for Logics of Uncertainty
by: Chakraborty, Mihir Kumar, et al.
Published: (2019)
Introduction to Mathematical Logic Set Theory Computable Functions Model Theory
by: Malitz, Jerome
Published: (1979)
Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics
by: Montano, Ulianov
Published: (2014)
Completeness Theory for Propositional Logics
by: Pogorzelski, Witold A., et al.
Published: (2008)
An Introduction to Mathematical Logic and Type Theory To Truth Through Proof
by: Andrews, Peter B.
Published: (2002)
Proof Theory for Fuzzy Logics
by: Metcalfe, George, et al.
Published: (2009)
Dependence Logic Theory and Applications
Published: (2016)
Proof Theory and Algebra in Logic
by: Ono, Hiroakira
Published: (2019)
Recursion Theory Week Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989
Published: (1990)
A Model–Theoretic Approach to Proof Theory
by: Kotlarski, Henryk
Published: (2019)
Model Theory : An Introduction
by: Marker, David
Published: (2002)
Recursion Theory Week Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
Published: (1985)
Language, Truth and Logic in Mathematics
by: Hintikka, Jaakko
Published: (1998)
Perspectives on the History of Mathematical Logic
Published: (1991)
Foundational Theories of Classical and Constructive Mathematics
Published: (2011)
Logics of Programs Brooklyn, June 17-19, 1985
Published: (1985)
Model Theory of Algebra and Arithmetic Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz,Poland, September 1-7, 1979
Published: (1980)
Advances in Proof Theory
Published: (2016)
A Precis of Mathematical Logic
Published: (1959)
Mathematical Logic and Applications Proceedings of the Logic Meeting held in Kyoto, 1987
Published: (1989)
A Guide to Classical and Modern Model Theory
by: Marcja, Annalisa, et al.
Published: (2003)
The Semantics and Proof Theory of the Logic of Bunched Implications
by: Pym, David J.
Published: (2002)
Topological Model Theory
by: Flum, Jörg, et al.
Published: (1980)
Beyond Two: Theory and Applications of Multiple-Valued Logic
Published: (2003)
A Proof Theory for Description Logics
by: Rademaker, Alexandre
Published: (2012)
Mathematical Problems from Applied Logic I Logics for the XXIst Century
Published: (2006)
Prev
Next
Similar Items
Around Classification Theory of Models
by: Shelah, Saharon
Published: (1986)
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
by: Lavrov, Igor, et al.
Published: (2003)
Towards a General Theory of Classifications
by: Parrochia, Daniel, et al.
Published: (2013)
Mathematical Logic and Model Theory A Brief Introduction
by: Prestel, Alexander, et al.
Published: (2011)
Course of Mathematical Logic Volume 2 Model Theory
by: Fraïssé, R.
Published: (1974)