Intuitionistic logic, model theory and forcing (Studies in logic and the foundations of mathematics)

Intuitionistic logic, model theory and forcing (Studies in logic and the foundations of mathematics)

Authors:
Melvin Fitting
ISBN13:
9780720422566
Edition:
1
Published:
1969
Language:
en

Introduction to Discrete Mathematics via Logic and Proof (Undergraduate Texts in Mathematics)

Introduction to Discrete Mathematics via Logic and Proof (Undergraduate Texts in Mathematics)

Authors:
Calvin Jongsma
ISBN13:
9783030253608
Edition:
1
Published:
2020
Language:
en

Closure Spaces and Logic (Mathematics and Its Applications, 369)

Closure Spaces and Logic (Mathematics and Its Applications, 369)

Authors:
N.M. Martin, S. Pollard
ISBN13:
9780792341109
Edition:
1996
Published:
1996-07-31
Language:
en

Truth and Consequence in Medieval Logic (Studies in Logic and the Foundations of Mathematics)

Truth and Consequence in Medieval Logic (Studies in Logic and the Foundations of Mathematics)

Authors:
Ernest A. Moody
ISBN13:
9780837190532
Edition:
Revised ed.
Published:
1976-12-10
Language:
en

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Authors:
Richard Lassaigne, Michel de Rougemont
ISBN13:
9781447110521
Edition:
Softcover reprint of the original 1st ed. 2004
Published:
2012-10-08
Language:
en

Studies in Logic and Probability (Dover Books on Mathematics)

Studies in Logic and Probability (Dover Books on Mathematics)

Authors:
George Boole
ISBN13:
9780486488264
Edition:
Reprint
Published:
2012-06-13
Language:
en

Closure Spaces and Logic (Mathematics and Its Applications, 369)

Closure Spaces and Logic (Mathematics and Its Applications, 369)

Authors:
Martin Jackson, Stephen Pollard
ISBN13:
9781441947581
Edition:
Softcover reprint of hardcover 1st ed. 1996
Published:
2010-12-07
Language:
en

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Authors:
Richard Lassaigne, Michel de Rougemont
ISBN13:
9780857293923
Edition:
2004
Published:
2012
Language:
en

Introduction to Discrete Mathematics via Logic and Proof (Undergraduate Texts in Mathematics)

Introduction to Discrete Mathematics via Logic and Proof (Undergraduate Texts in Mathematics)

Authors:
Calvin Jongsma
ISBN13:
9783030253578
Edition:
1st ed. 2019
Published:
2019-12-12
Language:
en

Leśniewski's Systems of Logic and Foundations of Mathematics (Trends in Logic Book 37)

Leśniewski's Systems of Logic and Foundations of Mathematics (Trends in Logic Book 37)

Authors:
Rafal Urbaniak
ISBN13:
9783319004822
Edition:
2014
Published:
2013
Language:
de

The Story of Proof: Logic and the History of Mathematics

The Story of Proof: Logic and the History of Mathematics

Authors:
John Stillwell
ISBN13:
9780691234373
Edition:
1
Published:
2022
Language:
en

Studies in Constructive Mathematics and Mathematical Logic: Part 1 (Seminars in mathematics)

Studies in Constructive Mathematics and Mathematical Logic: Part 1 (Seminars in mathematics)

Authors:
A. O. Slisenko
ISBN13:
9781489956323
Edition:
1969
Published:
2014-01-10
Language:
en

Studies in Constructive Mathematics and Mathematical Logic: Part I (Seminars in mathematics)

Studies in Constructive Mathematics and Mathematical Logic: Part I (Seminars in mathematics)

Authors:
A. O. Slisenko
ISBN13:
9780306188046
Edition:
1969
Published:
1995-12-31
Language:
en

Studies in Constructive Mathematics and Mathematical Logic: Part I (Seminars in mathematics)

Studies in Constructive Mathematics and Mathematical Logic: Part I (Seminars in mathematics)

Authors:
A. O. Slisenko
ISBN13:
9781468489705
Edition:
1
Published:
1997-01-14
Language:
en

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

Authors:
Elliott Mendelson
ISBN13:
9781482237788
Edition:
6
Published:
2015
Language:
en

Godel: A Life Of Logic, The Mind, And Mathematics

Godel: A Life Of Logic, The Mind, And Mathematics

Authors:
John L. Casti, Werner DePauli
ISBN13:
9780786747603
Published:
2009
Language:
en

Studies in Logic and Probability (Dover Books on Mathematics)

Studies in Logic and Probability (Dover Books on Mathematics)

Authors:
George Boole
ISBN13:
9780486311012
Edition:
Reprint
Published:
2012
Language:
en

Three Views of Logic: Mathematics, Philosophy, and Computer Science

Three Views of Logic: Mathematics, Philosophy, and Computer Science

Authors:
Donald W. Loveland, Richard Hodel, S. G. Sterrett
ISBN13:
9781400851140
Published:
2014
Language:
en

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Authors:
Laszlo Csirmaz, Zalán Gyenis
ISBN13:
9783030790097
Edition:
1st ed. 2022
Published:
2022-03-15
Language:
en

Computability: Computable Functions, Logic, and the Foundations of Mathematics

Computability: Computable Functions, Logic, and the Foundations of Mathematics

Authors:
Richard L Epstein, Walter A Carnielli
ISBN13:
9780981550732
Edition:
3
Published:
2018
Language:
en