Beginning Logic
by E.J. Lemmon
Buy this book
|
|
Subsystems of Second Order Arithmetic (Perspectives in Mathematical Logic)
by Stephen G. Simpson, et al
Buy this book
|
|
Worlds, Times and Selves
by Arthur N. Prior, Kit Fine
Buy this book
|
|
Elements of Deductive Inference : An Introduction to Symbolic Logic
by Joseph Bessie, Stuart Glennan
Buy this book
|
|
Predicate Calculus and Program Semantics (Texts and Monographs in Computer Science)
by Edsger Wybe Dijkstra, C. S. Scholten (Contributor)
Buy this book
|
|
Beginning Logic
by E. J. Lemmon
Buy this book
|
|
Logic : form and function : the mechanization of deductive reasoning
by J. A. Robinson
Buy this book
|
|
Technical Methods in Philosophy (Focus Series)
by John L. Pollock
Buy this book
|
|
Technical Methods in Philosophy (Focus Series)
by John L. Pollock
Buy this book
|
|
Ontological Economy : Substitutional Quantification and Mathematics
by Dale Gottlieb
Buy this book
|
|
Definable quantifiers in second order arithmetic and elementary extensions of [Greek letter omega]-models
by Wojciech Guzicki
Buy this book
|
|
On sentences provable in impredicative extensions of theories
by Zygmunt Ratajczyk
Buy this book
|
|
Existence and the Particular Quantifier
by Alex Orenstein
Buy this book
|
|
Existence and the particular quantifier
by Alex Orenstein
Buy this book
|
|
Predicate-oriented database search algorithms
by Dan E. Willard
Buy this book
|
|
Logic: theory and practice
by M. K. Rennie
Buy this book
|
|
Logic: theory and practice
by M. K. Rennie
Buy this book
|
|
Logic, Form and Function : The Mechanization of Deductive Reasoning
by John Alan Robinson
Buy this book
|
|
The logic of plurality
by J. E. J. Altham
Buy this book
|
|
The computational complexity of logical theories
by Jeanne Ferrante
Buy this book
|
|
Tableau systems for first order number theory and certain higher order theories
by Sue Ann Toledo
Buy this book
|
|
The Decision Problem : Solvable Classes of Quantificational Formulas
by Burton Dreben, Warren Goldfarb
Buy this book
|
|
