English
Beginner
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Shawn Hedman
2004
مشاهدهٔ کتاب
کشف منابع
Logic
کتابها
279 نتیجه
English
Beginner
Computability and Logic, 5th Edition
George S. Boolos,John P. Burgess,Richard C. Jeffrey
2007
مشاهدهٔ کتاب
English
Beginner
Computability and Logic, 4th edition
George S. Boolos,John P. Burgess,Richard C. Jeffrey,
2002
مشاهدهٔ کتاب
English
Beginner
Logic and Theory of Algorithms: 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings
Daniel Andersson,Kristoffer Arnsfelt Hansen (auth.),Arnold Beckmann,Costas Dimitracopoulos,Benedikt Löwe (eds.)
2008
مشاهدهٔ کتاب
English
Beginner
Computability in Context: Computation and Logic in the Real World
S. Barry Cooper,Andrea Sorbi
2009
مشاهدهٔ کتاب
English
Beginner
Lectures on Mathematical Logic Volume I Set Theoretical Logic - The Algebra of Models
Felscher,Walter
2000
مشاهدهٔ کتاب
English
Beginner
Combinatorial Set Theory: With a Gentle Introduction to Forcing
Lorenz J. Halbeisen (auth.)
2012
مشاهدهٔ کتاب
English
Beginner
Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory
Yu.L.Ershov,S.S.Goncharov,A.Nerode,J.B.Remmel
1998
مشاهدهٔ کتاب
English
Beginner
First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories
Michael Makkai,Gonzalo E. Reyes
1977
مشاهدهٔ کتاب
English
Beginner
New Set of Independent Postulates for the Algebra of Logic with Special Reference to Whitehead and Russells Principia Mathematica
Huntington E.V.
1932
مشاهدهٔ کتاب
English
Beginner
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Kurt Gödel
1992
مشاهدهٔ کتاب
English
Beginner
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-order Logic
Benedikt Bollig
2006
مشاهدهٔ کتاب
English
Beginner
The Logic of Liberal Rights: A Study in the Formal Analysis of Legal Discourse
Eric Heinze
2003
مشاهدهٔ کتاب
English
Beginner
Simple Formal Logic: With Common-Sense Symbolic Techniques
Arnold vander Nat
2009
مشاهدهٔ کتاب
English
Beginner
The Scope of Formal Logic: the New Logical Doctrines Expounded, With Some Criticisms
Arthur Thomas Shearman
2008
مشاهدهٔ کتاب
English
Beginner
Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963
John N. Crossley,Michael Dummett (editors)
1965
مشاهدهٔ کتاب
English
Beginner
Putting Logic in Its Place: Formal Constraints on Rational Belief
David Christensen
2007
مشاهدهٔ کتاب
English
Beginner
Proof and Disproof in Formal Logic: An Introduction for Programmers
Richard Bornat
2005
مشاهدهٔ کتاب
English
Beginner
The Conflicts of Modernity in Ludwig Wittgenstein’s Tractatus Logico-Philosophicus
Dobrzeniecki M.
English
Beginner
Wittgenstein's Tractatus logico-philosophicus: reader's guide
White,Roger M
2006
مشاهدهٔ کتاب
English
Beginner
Heidegger and Logic: The Place of Logos in Being and Time
Greg Shirley
2010
مشاهدهٔ کتاب
English
Beginner
Discrete Mathematics and Its Applications, 6th edition
Kenneth H. Rosen
2006
مشاهدهٔ کتاب
English
Beginner
Discrete Mathematics and Its Applications, seventh edition
Kenneth Rosen
2011
مشاهدهٔ کتاب
English
Beginner
Mathematical structures for computer science : discrete mathematics and its applications
Judith L. Gersting
2014
مشاهدهٔ کتاب
English
Beginner
Discrete mathematics: An introduction to proofs and combinatorics
Ferland K.
2009
مشاهدهٔ کتاب
English
Beginner
Word and Object in Husserl, Frege, and Russell: The Roots of Twentieth-Century Philosophy
Claire Ortiz Hill
1991
مشاهدهٔ کتاب
English
Beginner
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)
Graham Priest
2008
مشاهدهٔ کتاب
English
Beginner
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics (Trends in Logic, 57)
Petr Cintula,Carles Noguera
2021
مشاهدهٔ کتاب
English
Beginner
On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
Susanne Saminger-Platz,Radko Mesiar (eds.)
2016
مشاهدهٔ کتاب
