Lecture Notes in Logic

Authors: David Marker, William J. Mitchell, Torkel Franzén, Joseph R. Shoenfield, Anand Pillay

Related Series: Graduate Texts in Mathematics

The Lecture Notes in Logic book series by multiple authors includes books Recursion Theory, Logic Colloquium '90: ASL Summer Meeting in Helsinki, Fine Structure and Iteration Trees, and several more. See the complete Lecture Notes in Logic series book list in order, box sets or omnibus editions, and companion titles.

42 Books

Recursion Theory

Joseph R. Shoenfield

From $63.99

Logic Colloquium '90: ASL Summer Meeting in Helsinki

From $135.62

Fine Structure and Iteration Trees

William J. Mitchell, John R Steel

From $137.24

Descriptive Set Theory and Forcing: How to Prove Theorems About Borel Sets the Hard Way

Arnold W. Miller

From $59.78

Model Theory of Fields, Second Edition

Anand Pillay, David Marker, Margit Messmer

From $107.19

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

From $137.49

A General Algebraic Semantics for Sentential Logics

Ramon Jansana, Josep Maria Font

From $137.24

The Core Model Iterability Problem (Lecture Notes in Logic, 8)

John R. Steel

From $59.78

Bounded Variable Logics and Counting: A Study in Finite Models (Lecture Notes in Logic, 9)

Martin Otto

From $137.49

#10

Aspects of Incompleteness

Per Lindstrom, Per Lindström, Per Lindström

From $137.24

#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

From $154.76

#12

Logic Colloquium 96: Proceedings of the Colloquium Held in San Sebastian, Spain, July 9 15, 1996

Jesús M. Larrazabal

Out of Stock

#13

Logic Colloquium '98: Lecture Notes in Logic 13

From $108.39

#16

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

Torkel Franzen, Torkel Franzén

From $61.99

#18

The Notre Dame Lectures

Peter Cholak

Out of Stock

#19

Logic Colloquium 2000 (Lecture Notes in Logic, Vol. 19)

Out of Stock

#21

Reverse Mathematics 2001

From $113.89

#22

Intensionality (Lecture Notes in Logic 22)

From $140.00

#23

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

Paul C. Gilmore

Out of Stock

#26

Logic in Tehran: Proceedings of the Workshop And Conference on Logic, Algebra, And Arithemtic, Held October 18-22, 2003

From $43.71

#29

Logic Colloquium 2004

Out of Stock

#30

Stable Domination and Independence in Algebraically Closed Valued Fields

H. Dugald MacPherson, Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson

From $46.99

#31

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

From $126.54

#42

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

Out of Stock

#45

Logic and Algebraic Structures in Quantum Computing

Jennifer Chubb

From $154.76

#47

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Martin Grohe

From $197.08

#48

Abstract Recursion and Intrinsic Complexity

Yiannis N. Moschovakis

From $137.50

#50

Algorithmic Randomness: Progress and Prospects

From $154.43

Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II

From $173.79

Kurt Godel: Essays for His Centennial

Solomon Feferman

From $51.99

Simple Theories and Hyperimaginaries

Enrique Casanovas

From $137.25

Logic Colloquium 2007

Françoise Delon

From $46.99

A Framework for Priority Arguments

Manuel Lerman

From $137.50

A Course in Model Theory

Martin Ziegler, Katrin Tent

From $76.35

Logic Colloquium 2005

Dag Normann, Ludomir Newelski, Costas Dimitracopoulos

From $137.50

Effective Mathematics of the Uncountable

Out of Stock

Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies

Out of Stock

Lectures on Infinitary Model Theory

David Marker

From $137.50

Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III

From $197.30

Logic Colloquium 2006

Out of Stock

A Guide to Nip Theories

Pierre Simon

From $137.25

Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics

Robert Goldblatt

From $137.50

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks^® and the ThriftBooks^® logo are registered trademarks of Thrift Books Global, LLC

Lecture Notes in Logic

Recursion Theory

Logic Colloquium '90: ASL Summer Meeting in Helsinki

Fine Structure and Iteration Trees

Descriptive Set Theory and Forcing: How to Prove Theorems About Borel Sets the Hard Way

Model Theory of Fields, Second Edition

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

A General Algebraic Semantics for Sentential Logics

The Core Model Iterability Problem (Lecture Notes in Logic, 8)

Bounded Variable Logics and Counting: A Study in Finite Models (Lecture Notes in Logic, 9)

Aspects of Incompleteness

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 96: Proceedings of the Colloquium Held in San Sebastian, Spain, July 9 15, 1996

Logic Colloquium '98: Lecture Notes in Logic 13

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

The Notre Dame Lectures

Logic Colloquium 2000 (Lecture Notes in Logic, Vol. 19)

Reverse Mathematics 2001

Intensionality (Lecture Notes in Logic 22)

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

Logic in Tehran: Proceedings of the Workshop And Conference on Logic, Algebra, And Arithemtic, Held October 18-22, 2003

Logic Colloquium 2004

Stable Domination and Independence in Algebraically Closed Valued Fields

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

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

Logic and Algebraic Structures in Quantum Computing

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Abstract Recursion and Intrinsic Complexity

Algorithmic Randomness: Progress and Prospects

Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II

Kurt Godel: Essays for His Centennial

Simple Theories and Hyperimaginaries

Logic Colloquium 2007

A Framework for Priority Arguments

A Course in Model Theory

Logic Colloquium 2005

Effective Mathematics of the Uncountable

Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies

Lectures on Infinitary Model Theory

Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III

Logic Colloquium 2006

A Guide to Nip Theories

Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

Follow Us