送交者: zhangqq 于 2015-07-16, 19:56:25:
A New Introduction to Modal Logic Paperback – Sep 12 1996
by M.J. Cresswell (Author), G.E. Hughes (Author)
Computability Theory, Semantics, and Logic Programming Hardcover – Apr 1987
by Melvin Fitting (Author)
A New Approach to Quantum Logic Paperback – Sep 24 2007
by K. Engesser (Author), D. M. Gabbay (Author), D. Lehmann (Author)
Godel's Incompleteness Theorems Hardcover – Aug 1 1988
by Raymond M. Smullyan (Author)
Incompleteness in the Land of Sets Paperback – Feb 19 2007
by M. Fitting (Author)
Recursion Theory: Lecture Notes in Logic 1 Paperback – Feb 20 2001
by Joseph R. Shoenfield (Author)
Subsystems of Second Order Arithmetic Hardcover – May 29 2009
by Stephen G. Simpson (Author)
The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings Paperback – Nov 26 2008
Combinatorial Set Theory: With a Gentle Introduction to Forcing Hardcover – Dec 9 2011
Model Theory Hardcover – Apr 30 1993
by Wilfrid Hodges (Author)
Mathematical Logic Hardcover – Dec 1 1996
by H.-D. Ebbinghaus (Author), J. Flum (Author), Wolfgang Thomas (Author)