Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory (Studies in Logic, . Logic and Cognitive Systems)

Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory (Studies in Logic, . Logic and Cognitive Systems)

Authors:
C. E. Brown
ISBN13:
9781904987574
Edition:
2007
Published:
2007-10-22
Language:
en

Set Theory, with an Introduction to Descriptive Set Theory (Studies in Logic and the Foundations of Mathematics - Vol 86)

Set Theory, with an Introduction to Descriptive Set Theory (Studies in Logic and the Foundations of Mathematics - Vol 86)

Authors:
Kazimierz Kuratowski, Andrzej Mostowski
ISBN13:
9780720404708
Edition:
2nd revised
Published:
1976
Language:
en

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms (University Series in Mathematics)

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms (University Series in Mathematics)

Authors:
Igor Lavrov, Larisa Maksimova
ISBN13:
9780306477126
Edition:
2003
Published:
2003-03-31
Language:
en

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms (University Series in Mathematics)

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms (University Series in Mathematics)

Authors:
G. Corsi
ISBN13:
9781461349570
Edition:
Softcover reprint of the original 1st ed. 2003
Published:
2012-09-16
Language:
en

Boolean-valued models and independence proofs in set theory (Oxford logic guides)

Boolean-valued models and independence proofs in set theory (Oxford logic guides)

Authors:
J. L Bell
ISBN13:
9780198531685
Edition:
First Edition
Published:
1977
Language:
en

Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides, 47)

Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides, 47)

Authors:
John L. Bell
ISBN13:
9780198568520
Edition:
3
Published:
2005-07-28
Language:
en

Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides Book 47)

Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides Book 47)

Authors:
John L. Bell
ISBN13:
9780191620829
Edition:
3
Published:
2011
Language:
en

Set Theory and Logic (Undergraduate Mathematics Books) by Stoll, Robert R. (1963) Hardcover

Set Theory and Logic (Undergraduate Mathematics Books) by Stoll, Robert R. (1963) Hardcover

Authors:
Robert R. Stoll
ISBN13:
9780716704164
Edition:
First Edition
Published:
1963
Language:
en

Boolean-Valued Models and Independence Proofs in Set Theory (Oxford Logic Guides, 12)

Boolean-Valued Models and Independence Proofs in Set Theory (Oxford Logic Guides, 12)

Authors:
John Lane Bell
ISBN13:
9780198532415
Edition:
2
Published:
1985-08-15
Language:
en

Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies (Lecture Notes in Logic)

Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies (Lecture Notes in Logic)

ISBN13:
9780511910616
Published:
2011-10-07
Language:
en

Descriptive Set Theory (Studies in Logic and the Foundations of Mathematics, Vol. 100)

Descriptive Set Theory (Studies in Logic and the Foundations of Mathematics, Vol. 100)

Authors:
Yiannis Nicholas Moschovakis
ISBN13:
9780444853059
Published:
1980-02-26
Language:
en

Descriptive Set Theory and Forcing: Revised Second Printing Lecture Notes in Logic #4

Descriptive Set Theory and Forcing: Revised Second Printing Lecture Notes in Logic #4

Authors:
Arnold W. Miller
ISBN13:
9781568811765
Edition:
1
Published:
2001-01-01
Language:
en

Descriptive Set Theory (Studies in Logic and the Foundations of Mathematics: No.100)

Descriptive Set Theory (Studies in Logic and the Foundations of Mathematics: No.100)

Authors:
Yiannis N. Moschovakis
ISBN13:
9780444701992
Edition:
1
Published:
1987-01-01
Language:
en

A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns (Trends in Logic, 27)

A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns (Trends in Logic, 27)

Authors:
Piero Pagliani, Mihir Chakraborty
ISBN13:
9781402086212
Edition:
2008
Published:
2008-10-24
Language:
en

A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns (Trends in Logic, 27)

A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns (Trends in Logic, 27)

Authors:
Piero Pagliani, Mihir Chakraborty
ISBN13:
9789048179350
Edition:
Softcover reprint of hardcover 1st ed. 2008
Published:
2010-11-30
Language:
en

Foundations of Computing: System Development With Set Theory and Logic (International Computer Science Series)

Foundations of Computing: System Development With Set Theory and Logic (International Computer Science Series)

Authors:
Thierry Scheurer
ISBN13:
9780201544299
Edition:
First Edition
Published:
1994
Language:
en

A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns (Trends in Logic Book 27)

A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns (Trends in Logic Book 27)

Authors:
Piero Pagliani, Mihir Chakraborty
ISBN13:
9781402086229
Edition:
2008
Published:
2008
Language:
en

Mathematical Logic and Foundations of Set Theory: Israel Academy of Sciences Colloquium Proceedings, Nov 1968 (Studies in Logic and Foundations of Mathematics)

Mathematical Logic and Foundations of Set Theory: Israel Academy of Sciences Colloquium Proceedings, Nov 1968 (Studies in Logic and Foundations of Mathematics)

Authors:
Lev D. Beklemishev
ISBN13:
9780720422559
Edition:
2
Published:
1970-02-26
Language:
en

Philosophy of Mathematics: Set Theory, Measuring Theories, and Nominalism (Logos.studies in Logic, Philosophy of Language)

Philosophy of Mathematics: Set Theory, Measuring Theories, and Nominalism (Logos.studies in Logic, Philosophy of Language)

ISBN13:
9783868380095
Published:
2009-08-31
Language:
en

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume Ii: Foundations Of Mathematics

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume Ii: Foundations Of Mathematics

Authors:
Douglas Cenzer, Jean Larson, Christopher Porter, Jindrich Zapletal
ISBN13:
9789811243844
Published:
2022-02-04
Language:
en