Home Advanced Search

Advanced Search - Page 1

Wadge Degrees and Projective Ordinals: The Cabal Seminar Volume II
  • PDF
  • English
  • Year: 2012
  • Author: Alexander S. Kechris, Benedikt Löwe, John R. Steel
Abstract Recursion and Intrinsic Complexity
  • PDF
  • English
  • Year: 2019
  • Author: Yiannis N. Moschovakis
A Course in Model Theory
  • PDF
  • English
  • Year: 2012
  • Author: Katrin Tent, Martin Ziegler
Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics
  • PDF
  • English
  • Year: 2011
  • Author: Robert Goldblatt
Logical foundations of proof complexity
  • PDF
  • English
  • Year: 2010
  • Author: Stephen Cook, Phuong Nguyen
Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics [paper]
  • PDF
  • English
  • Year: 1996
  • Author: Gabbay, D. M
Nonstandard methods and applications in mathematics
  • DJVU
  • English
  • Year: 2006
  • Author: Ross, David A.; Di Nasso, Mauro; Cutland, Nigel (eds.)
Model theory of stochastic processes
  • DJVU
  • English
  • Year: 2002
  • Author: Fajardo, Sergio; Keisler, H. Jerome
Logicism renewed: Logical foundations for mathematics and computer science
  • DJVU
  • English
  • Year: 2005
  • Author: Gilmore, Paul Carl
Logic Colloquium 2000
  • DJVU
  • English
  • Year: 2005
  • Author: Rene Cori, Alexander Razborov, Stevo Todorcevic, Carol Wood (eds.)
search