책 1

Recursion Theory: Lecture Notes in Logic 1

작성자 Joseph R. Shoenfield
Apr 27, 2018
영어
킨들

책 2

Logic Colloquium '90: ASL Summer Meeting in Helsinki

작성자 Juha Oikkonen, Jouko Väänänen
Mar 2, 2017
영어
하드커버

책 3

Fine Structure and Iteration Trees

작성자 William J. Mitchell
Mar 28, 1994
영어
페이퍼백

Fine Structure and Iteration Trees

작성자 William J. Mitchell
Oct 1, 1994
영어
페이퍼백

책 5

Model Theory of Fields

작성자 David Marker
Feb 19, 1996
영어
페이퍼백
Dec 15, 2005
영어
하드커버

책 7

A General Algebraic Semantics for Sentential Logics

작성자 Josep Maria Font, Ramon Jansana
Oct 2, 1996
영어
페이퍼백
판: 1

책 8

The Core Model Iterability Problem

작성자 John R. Steel
Mar 2, 2017
영어
하드커버
판: 1

책 9

책 10

Aspects of Incompleteness

작성자 Per Lindström
Oct 7, 2003
영어
페이퍼백

Aspects of Incompleteness

작성자 Per Lindstroem
Oct 2, 1997
영어
페이퍼백

책 12

Jan 15, 1999
영어
페이퍼백

책 13

Logic Colloquium '98: Lecture Notes in Logic (Volume 13)

작성자 Samuel R. Buss, Petr Hájek, Pavel Pudlák
Jan 6, 2000
영어
페이퍼백
판: 1

책 14

Model Theory of Stochastic Processes: Lecture Notes in Logic 14

작성자 Sergio Fajardo, H. Jerome Keisler
Jan 1, 2002
영어
하드커버

책 15

Aug 18, 2002
영어
페이퍼백

책 16

Sep 2, 2004
영어
페이퍼백
판: 1

책 17

Logic Colloquium '99: Lecture Notes in Logic 17

작성자 Jan van Eijck, Vincent van Oostrom, Albert Visser
Jul 8, 2004
영어
하드커버

책 18

Apr 9, 2005
영어
하드커버

The Notre Dame Lectures

작성자 Peter Cholak
Mar 30, 2017
영어
킨들

책 19

Logic Colloquium 2000 (Hardcover): Lecture Notes in Logic (19)

작성자 Rene Cori, Alexander Razborov, Carol Wood
Apr 25, 2005
영어
페이퍼백

책 20

Logic Colloquium '01

작성자 Matthias Baaz, Sy-David Friedman, Jan Krajíček
Jul 3, 2005
영어
페이퍼백

Logic Colloquium '01: Lecture Notes In Logic, 20

작성자 Matthias Baaz, Sy-David Friedman, Jan Krajíček
Mar 7, 2005
영어
하드커버

책 21

Reverse Mathematics 2001

작성자 Stephen G. Simpson
Jan 1, 2005
영어
페이퍼백
Sep 1, 2005
영어
하드커버

책 22

Sep 1, 2005
영어
하드커버

Intensionality

작성자 Reinhard Kahle
Jan 9, 2005
영어
페이퍼백

책 24

Logic Colloquium '03: Proceedings of the Annual European Summer

작성자 Viggo Stoltenberg-Hansen, Jouko Väänänen
Feb 21, 2006
영어
하드커버

책 25

Nonstandard Methods and Applications in Mathematics (Lecture Notes in Logic 25)

작성자 Nigel J. Cutland, Mauro Di Nasso, David A. Ross
Jan 1, 2006
영어
킨들
판: 1

책 27

Logic Colloquium '02: Lecture Notes in Logic 27

작성자 Zoé Chatzidakis, Wolfram Pohlers
Jul 13, 2006
영어
하드커버

책 29

Logic Colloquium 2004

작성자 Alessandro Andretta, Keith Kearnes, Domenico Zambella
Dec 10, 2007
영어
페이퍼백

책 30

Stable Domination and Independence in Algebraically Closed Valued Fields

작성자 Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson
Dec 10, 2007
영어
하드커버

책 31

Games, Scales and Suslin Cardinals: The Cabal Seminar, Volume I

작성자 Alexander S. Kechris, Benedikt Lowe, John R. Steel
Sep 15, 2008
영어
하드커버

책 42

Turing's Legacy

작성자 Rod Downey
May 6, 2014
영어
전자책

책 45

Logic and Algebraic Structures in Quantum Computing

작성자 Jennifer Chubb, Ali Eskandarian, Valentina Harizanov
Feb 26, 2016
영어
하드커버

책 48

Abstract Recursion and Intrinsic Complexity

작성자 Yiannis N. Moschovakis
Feb 28, 2019
영어
하드커버

책 50

Algorithmic Randomness: Progress and Prospects

작성자 Johanna N.Y. Franklin, Christopher P. Porter
Jun 25, 2020
영어
하드커버

Logic Colloquium 2007

작성자 Françoise Delon, Ulrich Kohlenbach, Penelope Maddy
Jun 5, 2014
영어
페이퍼백

A Guide to NIP Theories

작성자 Pierre Simon
Jul 16, 2015
영어
하드커버
판: 1

Effective Mathematics of the Uncountable

작성자 Noam Greenberg, Denis Hirschfeldt, Joel David Hamkins
Dec 16, 2013
영어
하드커버