English
Beginner
Introduction to Logic and to the Methodology of the Deductive Sciences
Alfred Tarski,Jan Tarski
1994
مشاهدهٔ کتاب
کشف منابع
Logic
کتابها
279 نتیجه
English
Beginner
An introduction to logic programming through Prolog
J. M. Spivey,Michael Spivey
1996
مشاهدهٔ کتاب
English
Beginner
Theory of Recursive Functions and Effective Computability
Hartley Rogers
1987
مشاهدهٔ کتاب
English
Beginner
Axiomatic fuzzy set theory and its applications
Xiaodong Liu,Witold Pedrycz (auth.)
2009
مشاهدهٔ کتاب
English
Beginner
Axiomatic Set Theory: Impredicative Theories of Classes
R. Chuaqui
1981
مشاهدهٔ کتاب
English
Beginner
Set Theory and the Structure of Arithmetic
NormanandJoeseph Landin Hamilton
1964
مشاهدهٔ کتاب
English
Beginner
Discovering Modern Set Theory. I: The Basics
Winfried Just,Martin Weese
1995
مشاهدهٔ کتاب
English
Beginner
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory
Jerome Malitz (auth.)
1979
مشاهدهٔ کتاب
English
Beginner
The Search for Certainty: A Philosophical Account of Foundations of Mathematics
Marcus Giaquinto
2002
مشاهدهٔ کتاب
English
Beginner
On the Expressive Power of First-Order Logic with Built-In Predicates
Nicole Schweikardt
2002
مشاهدهٔ کتاب
English
Beginner
A Philosophical Companion to First-Order Logic
R. I. G. Hughes (Ed.)
1993
مشاهدهٔ کتاب
English
Beginner
The Logics of Preference: A Study of Prohairetic Logics in Twentieth Century Philosophy
Nicholas J. Moutafakis (auth.)
1987
مشاهدهٔ کتاب
English
Beginner
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today
Johan van Benthem,Gerhard Heinzmann,Manuel Rebuschi,Henk Visser (eds.)
2006
مشاهدهٔ کتاب
English
Beginner
Objects, Structures, and Logics: FilMat Studies in the Philosophy of Mathematics
Gianluigi Oliveri,Claudio Ternullo,Stefano Boscolo (eds.)
2022
مشاهدهٔ کتاب
English
Beginner
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics (Outstanding Contributions to Logic, 24)
Alex Citkin (editor),Ioannis M. Vandoulakis (editor)
English
Beginner
Advances in Applied Logics: Applications of Logic for Philosophy, Mathematics and Information Technology (Intelligent Systems Reference Library, 243)
Jair Minoro Abe (editor)
2023
مشاهدهٔ کتاب
English
Beginner
Advances in Applied Logics. Applications of Logic for Philosophy, Mathematics and Information Technology
Jair Minoro Abe
2023
مشاهدهٔ کتاب
English
Beginner
Constructive Formalism: Essays on the Foundations of Mathematics
R. L. Goodstein
1951
مشاهدهٔ کتاب
English
Beginner
Foundations of constructive analysis (McGraw-Hill series in higher mathematics)
Errett Bishop
1967
مشاهدهٔ کتاب
English
Beginner
Semiotics and Linguistic Structure: A Primer of Philosophic Logic
Richard Milton Martin
1978
مشاهدهٔ کتاب
English
Beginner
Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach
Bruno Courcelle,Joost Engelfriet
2012
مشاهدهٔ کتاب
English
Beginner
Essays on Realist Instance Ontology and its Logic: Predication, Structure, and Identity
Donald W. Mertz
2007
مشاهدهٔ کتاب
English
Beginner
Leibniz and the Structure of Sciences: Modern Perspectives on the History of Logic, Mathematics, Epistemology
Vincenzo De Risi (ed.)
2019
مشاهدهٔ کتاب
English
Beginner
Levels of abstraction in logic and human action: A theory of discontinuity in the structure of mathematical logic, psychological behaviour, and social organization
Elliott Jaques with R.O. GibsonandD. J. Isaac
1978
مشاهدهٔ کتاب