Visar resultat för...
Studies in Logic and the Foundations of Mathematics
Studies In Logic And The Foundations Of Mathematics - The Axiomatic Method With Special Reference To Geometry And Physics
Av L. Brouwer
Häftad, Engelska, 2007
539 kr
Studies In Logic And The Foundations Of Mathematics - The Axiomatic Method With Special Reference To Geometry And Physics
Av L. Brouwer
Inbunden, Engelska, 2008
589 kr
Handbook of Proof Theory
Av Samuel R. Buss, S. R. Buss, S.R. Buss, USA) Buss, S.R. (Dept. of Mathematics and Computer Science, University of California, San Diego, La Jolla, CA, S. R. Buss
Inbunden, Engelska, 1998
2 179 kr
Tools and Techniques in Modal Logic
Av M. Kracht, Germany) Kracht, M. (Freie Universitat Berlin, II. Mathematisches Institut, Berlin, Arjen Sevenster
Inbunden, Engelska, 1999
2 629 kr
Computable Structures and the Hyperarithmetical Hierarchy
Av C.J. Ash, J. Knight, USA) Knight, J. (University of Notre Dame, Department of Mathematics, Notre Dame, IN, C. J. Ash
Inbunden, Engelska, 2000
2 359 kr
Classical Recursion Theory, Volume II
Inbunden, Engelska, 1999
2 129 kr
Inbunden, Engelska, 2000
2 399 kr
Rudiments of Calculus
Av A. Arnold, D. Niwinski, France) Arnold, A. (c/o LaBRI Universite Bordeaux I 351, cours de la Liberation, 33405 Talence, 02-097 Warsaw) Niwinski, D. (Institute of Informatics, University of Warsaw, ul. Banacha 2, Andre Arnold
Inbunden, Engelska, 2001
1 739 kr
Many-Dimensional Modal Logics: Theory and Applications
Av A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay, UK) Kurucz, A. (King's College, London, UK) Wolter, F. (University of Liverpool, UK) Zakharyaschev, M. (King's College, London, UK) Gabbay, Dov M. (King's College London, D. M. Gabbay
Inbunden, Engelska, 2003
3 049 kr
Categorical Logic and Type Theory
Av B. Jacobs, The Netherlands) Jacobs, B. (Computing Science Institute, University of Nijmegen
Häftad, Engelska, 2001
1 419 kr
Relation Algebras by Games
Av Robin Hirsch, Ian Hodkinson, UK) Hirsch, R. (University College, London, UK) Hodkinson, I. (Imperial College, London
Inbunden, Engelska, 2002
2 809 kr
Realizability
Av Jaap van Oosten, The Netherlands) van Oosten, Jaap (Utrecht University, Jaap Van Oosten
Inbunden, Engelska, 2008
2 189 kr
Quantification in Nonclassical Logic
Av Dov M. Gabbay, Dimitrij Skvortsov, Valentin Shehtman, King's College London.) Gabbay, Dov M. (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, UK) Skvortsov, Dimitrij (Department of Computer Science, King's College London, UK) Shehtman, Valentin (Department of Computer Science, King's College London
Inbunden, Engelska, 2009
2 789 kr
Relation Algebras
Av Roger Duncan Maddux, USA) Maddux, Roger Duncan (Department of Mathematics, Iowa State University, Ames, Iowa, 5001, Duncan Maddux, Roger
Inbunden, Engelska, 2006
3 459 kr
Lectures on the Curry-Howard Isomorphism
Av Morten Heine S�rensen, Pawel Urzyczyn, Morten Heine Sørensen, Denmark) Sørensen, Morten Heine, M.Sc, Ph.D (University of Copenhagen, Poland) Urzyczyn, Pawel (Warsaw University, Pawel, Urzyczyn, H Sorensen, M
Inbunden, Engelska, 2006
2 019 kr
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Av Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono, Japan Advanced Institute of Science and Technology) Galatos, Nikolaos (School of Information Science, USA) Jipsen, Peter (Chapman University, Orange, Australia) Kowalski, Tomasz (Australian National University, Canberra, Japan) Ono, Hiroakira (Japan Advanced Institute of Science and Technology, Ishikawa
Inbunden, Engelska, 2007
2 629 kr
Constructivism in Mathematics, Vol 1
Av A.S. Troelstra, D. van Dalen, A. S. Troelstra, D. Van Dalen, Anne S. Troelstra
Inbunden, Engelska, 1988
909 kr
Constructivism in Mathematics, Vol 2
Av A.S. Troelstra, D. van Dalen, A. S. Troelstra, D. Van Dalen
Inbunden, Engelska, 1988
1 029 kr
Logical Frameworks for Truth and Abstraction
Av A. Cantini, Italy) Cantini, A. (University of Florence, Department of Philosophy, Andrea Cantini
Inbunden, Engelska, 1996
2 379 kr
Set Theory An Introduction To Independence Proofs
Inbunden, Engelska, 1983
889 kr
Language in Action
Av J. van Benthem, The Netherlands) van Benthem, J. (University of Amsterdam, Institute for Logic, Language and Computation, Amsterdam, J. Van Benthem, J. F. A. K. Van Benthem
Inbunden, Engelska, 1991
1 739 kr
Classical Recursion Theory
Av P. Odifreddi, Italy) Odifreddi, P. (University of Turin, Piergiorgio Odifreddi
Häftad, Engelska, 1992
1 579 kr
Admissibility of Logical Inference Rules
Av V.V. Rybakov, Russia) Rybakov, V.V. (Krasnoyarsk University, Mathematics Department, Krasnoyarsk, V. V. Rybakov, Vladimir V. Rybakov
Inbunden, Engelska, 1997
2 539 kr
Handbook of Computability Theory
Av E. R. Griffot, Edward R. Griffor, E.R. Griffor, USA) Griffor, E.R. (Communication Advisors, Inc., Southfield, MI, E. R. Griffor
Inbunden, Engelska, 1999
3 109 kr
Foundations of Set Theory
Inbunden, Engelska, 1973
1 959 kr
Origins and Varieties of Logicism
Av Francesca Boccuni, Andrea Sereni, Italy) Boccuni, Francesca (Universita Vita-Salute San Raffaele, Italy) Sereni, Andrea (Institute for Advanced Study, IUSS Pavia
Inbunden, Engelska, 2021
2 729 kr
Häftad, Engelska, 2018
269 kr
Bridging the Gap
Av Giovanna Corsi, Maria Luisa Dalla Chiara, GianCarlo Ghurardi, Maria Luisa Dalla Chiara, G. Corsi, Gian Carlo Ghirardi, M. Dalla Chiara, Giancarlo G Ghirardi
Inbunden, Engelska, 1992
1 139 kr
Origins and Varieties of Logicism
Av Francesca Boccuni, Andrea Sereni, Italy) Boccuni, Francesca (Universita Vita-Salute San Raffaele, Italy) Sereni, Andrea (Institute for Advanced Study, IUSS Pavia
Häftad, Engelska, 2024
699 kr
Objects, Structures, and Logics
Inbunden, Engelska, 2022
2 109 kr