Mathematische Logik, kurzgefaßt.: Grundlagen, Modelltheorie, Entscheidbarkeit, Mengenlehre
by Hans P. Tuschik,Helmut Wolter
ISBN 13: 9783827413871
Format: Paperback (224 pages) Publisher: Spektrum Akademischer Verlag Published: 31 Oct 2002
Save for later
Non-standard Analysis (Princeton Landmarks in Mathematics & Physics)
by Abraham Robinson
ISBN 13: 9780691044903
Format: Paperback (308 pages) Publisher: Princeton University Press Published: 08 Jan 1996
Abstract Sets and Finite Ordinals: An Introduction to the Study of Set Theory
by G B Keene
ISBN 13: 9780486462493
Format: Paperback (112 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
Modal Logic: An Introduction to its Syntax and Semantics
by Nino B. Cocchiarella,Max A. Freund
ISBN 13: 9780195366570
Format: Paperback (288 pages) Publisher: OUP USA Published: 14 Aug 2008
Piano-hinged Dissections: Time to Fold!
by Greg N. Frederickson
ISBN 13: 9781568812991
Format: Hardcover (320 pages) Publisher: A K Peters/CRC Press Published: 30 Nov 2006
Foundational Theories of Classical and Constructive Mathematics (The Western Ontario Series in Philosophy of Science)
by
ISBN 13: 9789400704305
Format: Hardcover (325 pages) Publisher: Springer Published: 26 Mar 2011
Logic in Elementary Mathematics
by Robert M. Exner,Myron F. Rosskopf
ISBN 13: 9780486482217
Format: Paperback (288 pages) Publisher: Dover Publications Inc. Published: 16 Jun 2011
Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783642216909
Format: Paperback (257 pages) Publisher: Springer Published: 23 May 2011
Inductive Logic (Handbook of the History of Logic)
ISBN 13: 9780444529367
Format: Hardcover (800 pages) Publisher: North Holland Published: 20 May 2010
Finite Model Theory (Springer Monographs in Mathematics)
by Heinz-Dieter Ebbinghaus,Jörg Flum
ISBN 13: 9783540287872
Format: Hardcover (371 pages) Publisher: Springer Published: 06 Oct 2005
Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic
by Alan P. Parkes
ISBN 13: 9781852334642
Format: Paperback (304 pages) Publisher: Springer Published: 26 Apr 2002
The Incompleteness Phenomenon
by Martin Goldstern,Haim Judah
ISBN 13: 9781568810294
Format: Hardcover (218 pages) Publisher: A K Peters/CRC Press Published: 15 Jun 1995