Lecture Notes in Logic

Bokserie

av Rene Cori
Senaste: 2020

Bok 1

Recursion Theory: Lecture Notes in Logic 1

Recursion Theory: Lecture Notes in Logic 1

av Joseph R. Shoenfield
Apr 27, 2018
Engelska
Kindle
Vill läsa

Bok 2

Logic Colloquium '90: ASL Summer Meeting in Helsinki

Logic Colloquium '90: ASL Summer Meeting in Helsinki

av Juha Oikkonen, Jouko Väänänen
Mar 2, 2017
Engelska
Inbunden
Vill läsa

Bok 3

Fine Structure and Iteration Trees

Fine Structure and Iteration Trees

av William J. Mitchell
Mar 28, 1994
Engelska
Pocketbok
Vill läsa
Fine Structure and Iteration Trees

Fine Structure and Iteration Trees

av William J. Mitchell
Oct 1, 1994
Engelska
Pocketbok
Vill läsa

Bok 4

Descriptive Set Theory and Forcing: Revised Second Printing Lecture Notes in Logic #4

Descriptive Set Theory and Forcing: Revised Second Printing Lecture Notes in Logic #4

av Arnold W. Miller
Jan 1, 2001
Engelska
Pocketbok
Vill läsa
Descriptive Set Theory and Forcing: How to prove theorems about Borel sets the hard way

Descriptive Set Theory and Forcing: How to prove theorems about Borel sets the hard way

av Arnold W. Miller
Sep 18, 1995
Engelska
Pocketbok
Vill läsa

Bok 5

Model Theory of Fields

Model Theory of Fields

av David Marker
Feb 19, 1996
Engelska
Pocketbok
Vill läsa
Model Theory of Fields: Lecture Notes in Logic 5, Second Edition

Model Theory of Fields: Lecture Notes in Logic 5, Second Edition

av David Marker, Anand Pillay
Dec 15, 2005
Engelska
Inbunden
Vill läsa

Bok 6

Gödel 96: Logical Foundations of Mathematics, Computer Science, and Physics: Lecture Notes in Logic 6

Gödel 96: Logical Foundations of Mathematics, Computer Science, and Physics: Lecture Notes in Logic 6

av Petr Hájek
Sep 11, 2017
Engelska
Inbunden
Vill läsa
Gödel 96: Logical Foundations of Mathematics, Computer Science and Physics -- Kurt Gödel's Legacy

Gödel 96: Logical Foundations of Mathematics, Computer Science and Physics -- Kurt Gödel's Legacy

av Petr Hájek
Aug 16, 1996
Engelska
Pocketbok
Vill läsa

Bok 7

A General Algebraic Semantics for Sentential Logics

A General Algebraic Semantics for Sentential Logics

av Josep Maria Font, Ramon Jansana
Oct 2, 1996
Engelska
Pocketbok
Utgåva: 1
Vill läsa

Bok 8

The Core Model Iterability Problem

The Core Model Iterability Problem

av John R. Steel
Mar 2, 2017
Engelska
Inbunden
Utgåva: 1
Vill läsa

Bok 9

Bounded Variable Logics and Counting: A Study in Finite Models

Bounded Variable Logics and Counting: A Study in Finite Models

av Martin Otto
Jan 28, 1997
Engelska
Pocketbok
Vill läsa

Bok 10

Aspects of Incompleteness

Aspects of Incompleteness

av Per Lindström
Oct 7, 2003
Engelska
Pocketbok
Vill läsa
Aspects of Incompleteness

Aspects of Incompleteness

av Per Lindstroem
Oct 2, 1997
Engelska
Pocketbok
Vill läsa

Bok 11

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995

av Johann A. Makowsky, Elena V. Ravve
Mar 2, 2017
Engelska
Inbunden
Vill läsa

Bok 12

Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996

Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996

av Jesús M. Larrazabal, D. Lascar, G. Mints
Jan 15, 1999
Engelska
Pocketbok
Vill läsa

Bok 13

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

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

av Samuel R. Buss, Petr Hájek, Pavel Pudlák
Jan 6, 2000
Engelska
Pocketbok
Utgåva: 1
Vill läsa

Bok 14

Model Theory of Stochastic Processes: Lecture Notes in Logic 14

Model Theory of Stochastic Processes: Lecture Notes in Logic 14

av Sergio Fajardo, H. Jerome Keisler
Jan 1, 2002
Engelska
Inbunden
Vill läsa

Bok 15

Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman: Lecture Notes in Logic 15

Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman: Lecture Notes in Logic 15

av Richard Sommer, Solomon Feferman, Carolyn L. Talcott
Aug 18, 2002
Engelska
Pocketbok
Vill läsa

Bok 16

Inexhaustibility: A Non-Exhaustive Treatment (Lecture Notes in Logic 16)

Inexhaustibility: A Non-Exhaustive Treatment (Lecture Notes in Logic 16)

av Torkel Franzén
Sep 2, 2004
Engelska
Pocketbok
Utgåva: 1
Vill läsa

Bok 17

Logic Colloquium '99: Lecture Notes in Logic 17

Logic Colloquium '99: Lecture Notes in Logic 17

av Jan van Eijck, Vincent van Oostrom, Albert Visser
Jul 8, 2004
Engelska
Inbunden
Vill läsa

Bok 18

The Notre Dame Lectures: Lecture Notes in Logic, 18

The Notre Dame Lectures: Lecture Notes in Logic, 18

av Peter Cholak
Apr 9, 2005
Engelska
Inbunden
Vill läsa
The Notre Dame Lectures

The Notre Dame Lectures

av Peter Cholak
Mar 30, 2017
Engelska
Kindle
Vill läsa

Bok 19

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

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

av Rene Cori, Alexander Razborov, Carol Wood
Apr 25, 2005
Engelska
Pocketbok
Vill läsa

Bok 20

Logic Colloquium '01

Logic Colloquium '01

av Matthias Baaz, Sy-David Friedman, Jan Krajíček
Jul 3, 2005
Engelska
Pocketbok
Vill läsa
Logic Colloquium '01: Lecture Notes In Logic, 20

Logic Colloquium '01: Lecture Notes In Logic, 20

av Matthias Baaz, Sy-David Friedman, Jan Krajíček
Mar 7, 2005
Engelska
Inbunden
Vill läsa

Bok 21

Reverse Mathematics 2001

Reverse Mathematics 2001

av Stephen G. Simpson
Jan 1, 2005
Engelska
Pocketbok
Vill läsa
Reverse Mathematics 2001: Lecture Notes in Logic 21

Reverse Mathematics 2001: Lecture Notes in Logic 21

av Stephen G. Simpson
Sep 1, 2005
Engelska
Inbunden
Vill läsa

Bok 22

Intensionality: Lecture Notes in Logic 22

Intensionality: Lecture Notes in Logic 22

av Reinhard Kahle
Sep 1, 2005
Engelska
Inbunden
Vill läsa
Intensionality

Intensionality

av Reinhard Kahle
Jan 9, 2005
Engelska
Pocketbok
Vill läsa

Bok 23

Logicism Renewed: Logical Foundations for Mathematics And Computer Science, Lecture Notes in Logic, 23

Logicism Renewed: Logical Foundations for Mathematics And Computer Science, Lecture Notes in Logic, 23

av Paul C. Gilmore
Nov 26, 2005
Engelska
Inbunden
Vill läsa

Bok 24

Logic Colloquium '03: Proceedings of the Annual European Summer

Logic Colloquium '03: Proceedings of the Annual European Summer

av Viggo Stoltenberg-Hansen, Jouko Väänänen
Feb 21, 2006
Engelska
Inbunden
Vill läsa

Bok 25

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

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

av Nigel J. Cutland, Mauro Di Nasso, David A. Ross
Jan 1, 2006
Engelska
Kindle
Utgåva: 1
Vill läsa

Bok 26

Logic in Tehran: Proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, held October 18-22, 2003, Lecture Notes in Logic 26

Logic in Tehran: Proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, held October 18-22, 2003, Lecture Notes in Logic 26

av Ali Enayat, Iraj Kalantari, Mojtaba Moniri
May 22, 2006
Engelska
Inbunden
Vill läsa

Bok 27

Logic Colloquium '02: Lecture Notes in Logic 27

Logic Colloquium '02: Lecture Notes in Logic 27

av Zoé Chatzidakis, Wolfram Pohlers
Jul 13, 2006
Engelska
Inbunden
Vill läsa

Bok 29

Logic Colloquium 2004

Logic Colloquium 2004

av Alessandro Andretta, Keith Kearnes, Domenico Zambella
Dec 10, 2007
Engelska
Pocketbok
Vill läsa

Bok 30

Stable Domination and Independence in Algebraically Closed Valued Fields

Stable Domination and Independence in Algebraically Closed Valued Fields

av Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson
Dec 10, 2007
Engelska
Inbunden
Vill läsa

Bok 31

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

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

av Alexander S. Kechris, Benedikt Lowe, John R. Steel
Sep 15, 2008
Engelska
Inbunden
Vill läsa

Bok 42

Turing's Legacy: Developments from Turing's Ideas in Logic

Turing's Legacy: Developments from Turing's Ideas in Logic

av Rod Downey
Sep 22, 2014
Engelska
Inbunden
Vill läsa
Turing's Legacy

Turing's Legacy

av Rod Downey
May 6, 2014
Engelska
e-bok
Vill läsa
Turing's Legacy: Developments from Turing's Ideas in Logic

Turing's Legacy: Developments from Turing's Ideas in Logic

av Rod G. Downey
May 10, 2014
Engelska
e-bok
Vill läsa

Bok 45

Logic and Algebraic Structures in Quantum Computing

Logic and Algebraic Structures in Quantum Computing

av Jennifer Chubb, Ali Eskandarian, Valentina Harizanov
Feb 26, 2016
Engelska
Inbunden
Vill läsa

Bok 47

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

av Martin Grohe
Sep 25, 2017
Engelska
Inbunden
Vill läsa

Bok 48

Abstract Recursion and Intrinsic Complexity

Abstract Recursion and Intrinsic Complexity

av Yiannis N. Moschovakis
Feb 28, 2019
Engelska
Inbunden
Vill läsa

Bok 50

Algorithmic Randomness: Progress and Prospects

Algorithmic Randomness: Progress and Prospects

av Johanna N.Y. Franklin, Christopher P. Porter
Jun 25, 2020
Engelska
Inbunden
Vill läsa
Logic Colloquium 2007

Logic Colloquium 2007

av Françoise Delon, Ulrich Kohlenbach, Penelope Maddy
Jun 5, 2014
Engelska
Pocketbok
Vill läsa
A Guide to NIP Theories

A Guide to NIP Theories

av Pierre Simon
Jul 16, 2015
Engelska
Inbunden
Utgåva: 1
Vill läsa
Effective Mathematics of the Uncountable

Effective Mathematics of the Uncountable

av Noam Greenberg, Denis Hirschfeldt, Joel David Hamkins
Dec 16, 2013
Engelska
Inbunden
Vill läsa