Hopp til hovedinnhold

Bøker for voksne

Skjønnlitteratur

Sakprosa Faglitteratur

Avansert søk

Før en utgivelse er katalogisert vil den mangle noe metadata, typisk dewey og emne.

Forsidebilde av The Largest Suslin Axiom

The Largest Suslin Axiom

Sargsyan, Grigor Trang, Nam

Lecture Notes in Logic Innbundet 27.06.2024 Engelsk

I salg

Forsidebilde av A Theory of Truth

A Theory of Truth

Stephanou, Yannis

Lecture Notes in Logic Innbundet 12.10.2023 Engelsk

Produseres på bestilling

Forsidebilde av A Comparison Process for Mouse Pairs

A Comparison Process for Mouse Pairs

Lecture Notes in Logic Innbundet 24.11.2022 Engelsk

Produseres på bestilling

Forsidebilde av Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs

Cherlin, Gregory

Lecture Notes in Logic Innbundet 07.07.2022 Engelsk

I salg

Forsidebilde av Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments

Cherlin, Gregory

Lecture Notes in Logic Innbundet 07.07.2022 Engelsk

Produseres på bestilling

Forsidebilde av Complexity of Infinite-Domain Constraint Satisfaction

Complexity of Infinite-Domain Constraint Satisfaction

Bodirsky, Manuel

Lecture Notes in Logic Innbundet 10.06.2021 Engelsk

Produseres på bestilling

Forsidebilde av Large Cardinals, Determinacy and Other Topics : The Cabal Seminar, Volume IV

Large Cardinals, Determinacy and Other Topics : The Cabal Seminar, Volume IV

Kechris, Alexander S. Steel, John R. Lowe, Benedikt

Lecture Notes in Logic Innbundet 05.11.2020 Engelsk

I salg

Forsidebilde av Algorithmic Randomness : Progress and Prospects

Algorithmic Randomness : Progress and Prospects

Porter, Christopher P. Franklin, Johanna N. Y.

Lecture Notes in Logic Innbundet 07.05.2020 Engelsk

Produseres på bestilling

Forsidebilde av Abstract Recursion and Intrinsic Complexity

Abstract Recursion and Intrinsic Complexity

Moschovakis, Yiannis N.

Lecture Notes in Logic Innbundet 06.12.2018 Engelsk

Produseres på bestilling

Forsidebilde av Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Lecture Notes in Logic Innbundet 17.08.2017 Engelsk

Produseres på bestilling

Forsidebilde av 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

Miller, Arnold W.

Lecture Notes in Logic Innbundet 18.05.2017 Engelsk

Produseres på bestilling

Forsidebilde av The Core Model Iterability Problem

The Core Model Iterability Problem

Lecture Notes in Logic Innbundet 02.03.2017 Engelsk

Produseres på bestilling

Forsidebilde av Recursion Theory

Recursion Theory

Shoenfield, Joseph R.

Lecture Notes in Logic Innbundet 02.03.2017 Engelsk

I salg

Forsidebilde av Fine Structure and Iteration Trees

Fine Structure and Iteration Trees

Steel, John R. Mitchell, William J.

Lecture Notes in Logic Innbundet 02.03.2017 Engelsk

Produseres på bestilling

Forsidebilde av 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

Ravve, Elena V. Makowsky, Johann A.

Lecture Notes in Logic Innbundet 02.03.2017 Engelsk

Produseres på bestilling

Forsidebilde av A General Algebraic Semantics for Sentential Logics

A General Algebraic Semantics for Sentential Logics

Font, Josep Maria Jansana, Ramon

Lecture Notes in Logic Innbundet 02.03.2017 Engelsk

Produseres på bestilling

Forsidebilde av Logic Colloquium '96 : Proceedings of the Colloquium held in San Sebastian, Spain, July 9–15, 1996

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

Lascar, D. ) Larrazabal, J. M. Mints, G.

Lecture Notes in Logic Innbundet 02.03.2017 Engelsk

Produseres på bestilling

Forsidebilde av Aspects of Incompleteness

Aspects of Incompleteness

Lecture Notes in Logic Innbundet 02.03.2017 Engelsk

Produseres på bestilling

Forsidebilde av Model Theory of Fields

Model Theory of Fields

Pillay, Anand Messmer, Margit Marker, David

Lecture Notes in Logic Innbundet 02.03.2017 Engelsk

Produseres på bestilling

Forsidebilde av Godel '96 : Logical Foundations of Mathematics, Computer Science and Physics - Kurt Godel's Legacy

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

Lecture Notes in Logic Innbundet 02.03.2017 Engelsk

Produseres på bestilling

Forsidebilde av Bounded Variable Logics and Counting : A Study in Finite Models

Bounded Variable Logics and Counting : A Study in Finite Models

Lecture Notes in Logic Innbundet 02.03.2017 Engelsk

Produseres på bestilling

Forsidebilde av Logic Colloquium '90 : ASL Summer Meeting in Helsinki

Logic Colloquium '90 : ASL Summer Meeting in Helsinki

Vaananen, Jouko Oikkonen, Juha

Lecture Notes in Logic Innbundet 02.03.2017 Engelsk

Produseres på bestilling

Forsidebilde av Lectures on Infinitary Model Theory

Lectures on Infinitary Model Theory

Lecture Notes in Logic Innbundet 27.10.2016 Engelsk

Produseres på bestilling

Forsidebilde av Logic and Algebraic Structures in Quantum Computing

Logic and Algebraic Structures in Quantum Computing

Eskandarian, Ali Harizanov, Valentina Chubb, Jennifer

Lecture Notes in Logic Innbundet 26.02.2016 Engelsk

Produseres på bestilling

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

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

Kechris, Alexander S. Steel, John R. Lowe, Benedikt

Lecture Notes in Logic Innbundet 11.01.2016 Engelsk

Produseres på bestilling

Forsidebilde av A Guide to NIP Theories

A Guide to NIP Theories

Lecture Notes in Logic Innbundet 16.07.2015 Engelsk

Produseres på bestilling

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

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

Lecture Notes in Logic Innbundet 01.05.2014 Engelsk

Produseres på bestilling

Forsidebilde av Logic Colloquium 2007

Logic Colloquium 2007

Delon, Francoise Kohlenbach, Ulrich Maddy, Penelope Stephan, Frank

Lecture Notes in Logic Heftet 06.03.2014 Engelsk

Produseres på bestilling

Forsidebilde av Effective Mathematics of the Uncountable

Effective Mathematics of the Uncountable

Hirschfeldt, Denis Miller, Russell Greenberg, Noam Hamkins, Joel David

Lecture Notes in Logic Innbundet 31.10.2013 Engelsk

Produseres på bestilling

Forsidebilde av Kurt Godel : Essays for his Centennial

Kurt Godel : Essays for his Centennial

Parsons, Charles Simpson, Stephen G. Feferman, Solomon

Lecture Notes in Logic Heftet 20.06.2013 Engelsk

Produseres på bestilling

Forsidebilde av A Course in Model Theory

A Course in Model Theory

Tent, Katrin Ziegler, Martin

Lecture Notes in Logic Innbundet 08.03.2012 Engelsk

I salg

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

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

Kechris, Alexander S. Steel, John R. Lowe, Benedikt

Lecture Notes in Logic Innbundet 01.12.2011 Engelsk

Produseres på bestilling

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

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

Goldblatt, Robert

Lecture Notes in Logic Innbundet 14.07.2011 Engelsk

Produseres på bestilling

Forsidebilde av Simple Theories and Hyperimaginaries

Simple Theories and Hyperimaginaries

Casanovas, Enrique

Lecture Notes in Logic Innbundet 30.06.2011 Engelsk

Produseres på bestilling

Forsidebilde av Stable Domination and Independence in Algebraically Closed Valued Fields

Stable Domination and Independence in Algebraically Closed Valued Fields

Haskell, Deirdre Hrushovski, Ehud Macpherson, Dugald

Lecture Notes in Logic Heftet 30.06.2011 Engelsk

I salg

Forsidebilde av Logic Colloquium 2007

Logic Colloquium 2007

Delon, Francoise Kohlenbach, Ulrich Maddy, Penelope Stephan, Frank

Lecture Notes in Logic Innbundet 07.06.2010 Engelsk

Produseres på bestilling

Viser 1-36