募捐 9月15日2024 – 10月1日2024 关于筹款

Logic colloquium '84: Proceedings Manchester, 1984

Main
Mathematics - Logic
Logic colloquium '84: Proceedings...

Logic colloquium '84: Proceedings Manchester, 1984

Paris J.B., Wilkie A.J., Wilmers G.M. (eds.)

0 / 0

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

种类:

Mathematics - Logic

年:

1986

出版社:

Elsevier Science

语言:

english

页:

375

ISBN 10:

0444879994

ISBN 13:

9780444879998

系列:

Studies in Logic and the Foundations of Mathematics, Volume 120

文件:

DJVU, 2.34 MB

IPFS:

,

english, 1986

线上阅读

正在转换

转换为失败

您可能会感兴趣

Carlos A. Di Prisco — Methods in Mathematical Logic

— Applied Stability Theory 001

Bawise J. (ed.) — The Syntax and Semantics of Infinitary Languages

John N. Crossley — Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965

Peter Clote, Jan Krajícek — Arithmetic, Proof Theory, and Computational Complexity

G. H. Muller — Isilc - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

et al. (editors) W. Marke — Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski

G. H. Muller — Models and Sets

David Marker (Author); Margit Messmer (Author); Anand Pillay (Author) — Model Theory of Fields: Lecture Notes in Logic 5, Second Edition

Mostowski A. — Foundational Studies: Selected works

J. Stern — Proceedings of the Herbrand symposium: Logic colloquium '81, Marseilles, 1981

G. Lolli, etc. — Logic Colloquium 1982: Proceedings

J.B. Paris, etc. — Logic Colloquium 1984: Proceedings

Chatzidakis Z.M., et al. (eds.) — Model theory with applications to algebra and analysis,

Deirdre Haskell, Anand Pillay, Charles Steinhorn — Model theory, algebra, and geometry

Yehosha Bar-Hillel — Mathematical logic and foundations of set theory: Proceedings Jerusalem, 1968

Yi Zhang (ed.) — Logic and Algebra

Ali Enayat, Roman Kossak (ed.) — Nonstandard Models Of Arithmetic And Set Theory: AMS Special Session Nonstandard Models Of Arithmetic And Set Theory, January 15-16, 2003, Baltimore, Maryland

Andrzej Mostowski — Foundational Studies, Selected Works Vol I

A. Ehrenfeucht, V.W. Marek, M. Srebrny — Andrzej Mostowski and foundational studies

Matthias Baaz, Sy-David Friedman, Jan Krajícek (eds.) — Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

Peter Cholak (eds.) — The Notre Dame Lectures: Lecture Notes in Logic, 18

Enayat A., et al. (eds.) — Logic in Tehran: proceedings 2003

A. Ehrenfeucht, V.W. Marek, M. Srebrny — Andrzej Mostowski and Foundational Studies

David Marker — An Invitation to Mathematical Logic

G. H. Müller, A. Oberschelp, K. Potthoff — ISILC logic conference, Kiel, 1974

W. Marek, M. Srebrny, A. Zarach — Set theory and hierarchy theory: a memorial tribute to A.Mostowski

G.H. Müller, G. Takeuti, T. Tugue — Logic Symposia, Hakone, 1979, 1980

John T. Baldwin (Editor) — Classification Theory

Juha M.R. Oikkonen, Jouko Väänänen — Logic colloquium '90: Proc. Helsinki 1990

David Marker, Margit Messmer, Anand Pillay — Model theory of fields

Jesus M. Larrazabal, Daniel Lascar, Grigori Mints — Logic Colloquium’ 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996

Gerald E. Sacks — Mathematical Logic in the 20th Century

关键词