Seminar on Triples and Categorical Homology Theory : ETH 1966/67
H. Appelgate
Item not Available
Format: Book (Paperback / softback)
£35.99
£31.45
Item not Available
Book (Paperback / softback)
Decidable Theories : Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
J.R. Buchi
Item not Available
Format: Book (Paperback / softback)
£35.99
£31.45
Item not Available
Book (Paperback / softback)
Proceedings of the Summer School in Logik, Leeds, 1967 : N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic
Martin H. Lob
Download - Immediately Available
Format: eBook (PDF)
The Syntax and Semantics of Infinitary Languages
Jon Barwise
Download - Immediately Available
Format: eBook (PDF)
Decidable Theories : Vol. 1: Buchi`s Monadic Second Order Successor Arithmetic
Dirk Siefkes
Download - Immediately Available
Format: eBook (PDF)
Symposium on Automatic Demonstration : Held at Versailles/France, Decembre 1968
M. Laudet
Download - Immediately Available
Format: eBook (PDF)
Asymptotic Behavior of Dynamical and Control Systems under Pertubation and Discretization
Lars Grune
Download - Immediately Available
Format: eBook (PDF)
Proof Theory and Intuitionistic Systems
Bruno Scarpellini
Download - Immediately Available
Format: eBook (PDF)
Cambridge Summer School in Mathematical Logic : Held in Cambridge /U. K., August 1-21, 1971
A. R. D. Mathias
Download - Immediately Available
Format: eBook (PDF)
The Axiom of Constructibility : A Guide for the Mathematician
K. J. Devlin
Download - Immediately Available
Format: eBook (PDF)
First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories
M. Makkai
Download - Immediately Available
Format: eBook (PDF)
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Anne S. Troelstra
Download - Immediately Available
Format: eBook (PDF)
Infinitary Logic : In Memoriam Carol Karp
D. W. Kueker
Download - Immediately Available
Format: eBook (PDF)
The Homology of Iterated Loop Spaces
F. R. Cohen
Download - Immediately Available
Format: eBook (PDF)
ISILC - Proof Theory Symposion : Dedicated to Kurt Schutte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
J. Diller
Download - Immediately Available
Format: eBook (PDF)
Recursion on the Countable Functionals
D. Normann
Download - Immediately Available
Format: eBook (PDF)
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
L. Pacholski
Download - Immediately Available
Format: eBook (PDF)
Cabal Seminar 77 - 79 : Proceedings, Caltech-UCLA Logic Seminar 1977 - 79
A. S. Kechris
Download - Immediately Available
Format: eBook (PDF)
Model Theory and Arithmetic : Comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'Arithmetique, Paris, France, 1979/80
C. Berline
Download - Immediately Available
Format: eBook (PDF)
Logic Symposia, Hakone, 1979, 1980 : Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
G.H. Muller
Download - Immediately Available
Format: eBook (PDF)
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
W. Buchholz
Download - Immediately Available
Format: eBook (PDF)