Library of Math
New and Used Math Books at Great Low Prices
Subscribe to the Library of Math Feed

Foundations Logic Books

logic
philosophy of mathematics
set theory
computability
model theory
nonclassical logic

 

math books: foundations logic

    RSS - Subscribe to math books: foundations logic

    
 Sort by:  

Showing items 701-710 of 854
 
 Algebraic Structure of Pseudocompact Groups (Memoirs of the American Mathematical Society, No. 633)
Authors: Dikran N. Dikranjan, Dmitri Shakhmatov

List Price: $41.00
Buy New: $36.00
You Save: $5.00 (12%)



New (6) Used (6) from $3.75

Sales Rank: 5509767
Category: Book
Publication Date: June 1998
Availability: Usually ships in 1-2 business days
Many-Dimensional Modal Logics: Theory and Applications, Volume 148 (Studies in Logic and the Foundations of Mathematics) 
enlarge enlarge 
 Many-Dimensional Modal Logics: Theory and Applications, Volume 148 (Studies in Logic and the Foundations of Mathematics)
Authors: A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay

List Price: $170.00
Buy New: $169.98
You Save: $0.02


New (15) Used (6) from $160.00

Sales Rank: 2880724
Category: Book
Publication Date: November 4, 2003
Availability: Usually ships in 1-2 business days



 The logical and set-theoretical foundations of mathematics (A modern introduction to pure mathematics)
Author: Achim Zulauf

Buy Used: $76.34



Used (2) from $76.34

Category: Book
Publication Date: 1969
Availability: Usually ships in 1-2 business days
Condition: Excellent customer service.... more
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September ... (Lecture Notes in Computer Science) 
enlarge enlarge 
 FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September ... (Lecture Notes in Computer Science)
Author: John Fitzgerald

List Price: $109.00
Buy New: $79.19
You Save: $29.81 (27%)



New (18) Used (7) from $25.00

Sales Rank: 7331274
Category: Book
Publication Date: October 16, 1997
Availability: Usually ships in 1-2 business days



 Theory of Deductive Systems and Its Applications (Foundations of Computing)
Author: S. Yu. Maslov

Buy Used: $35.49



Used (4) from $35.49

Sales Rank: 3569834
Category: Book
Publication Date: April 27, 1987
Availability: Usually ships in 1-2 business days
Condition: Excellent customer service.... more
Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001: Proceedings (Lecture Notes in Computer Science) 
enlarge enlarge 
 Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001: Proceedings (Lecture Notes in Computer Science)
Author: Matthew Dwyer

List Price: $69.95
Buy New: $65.28
You Save: $4.67 (7%)



New (14) Used (9) from $23.12

Sales Rank: 6022596
Category: Book
Publication Date: June 15, 2001
Availability: Usually ships in 1-2 business days



 Conventionalism in Logic: A Study in the Linguistic Foundation of Logical Reason
Author: Carlo Borromeo Giannoni

Buy Used: $120.00



Category: Book
Publication Date: 1971
Availability: Usually ships in 1-2 business days
 Aspects of inductive logic, (Studies in logic and the foundations of mathematics)
Author: Jaakko Hintikka

Buy Used: $44.69



Used (9) from $44.69

Sales Rank: 3744202
Category: Book
Publication Date: 1966
Availability: Usually ships in 1-2 business days
Condition: Covers are in great condition!... more



Satisfiability Problem: Theory and Applications (Dimacs Series in Discrete Mathematics and Theoretical Computer Science) 
enlarge enlarge 
 Satisfiability Problem: Theory and Applications (Dimacs Series in Discrete Mathematics and Theoretical Computer Science)
Author: Jun Gu

Buy New: $156.00



New (2) Used (1) from $156.00

Sales Rank: 4118744
Category: Book
Publication Date: October 1997
Shipping: Eligible for Super Saver Shipping
Availability: In stock soon. Order now to get in line. First come, first served.
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers (Lecture Notes in Computer Science) 
enlarge enlarge 
 Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers (Lecture Notes in Computer Science)
Author: Dines Bjorner

List Price: $94.00
Buy New: $85.92
You Save: $8.08 (9%)



New (20) Used (11) from $32.76

Category: Book
Publication Date: January 11, 2002
Availability: Usually ships in 1-2 business days
Showing items 701-710 of 854
 
about us contact us privacy policy terms of use mision statement lom help
The Library of Math - Online Math Organized by Subject Into Topics. © 2005 - 2009 www.LibraryOfMath.com All rights reserved. math rss