Cover Image
Read Now

1
Published 1999
Springer Netherlands
“...Einstein Meets Magritte: An Interdisciplinary Reflection on Science, Nature, Art, Human Action...”
Cover Image
Read Now

2
by Sonawane, Sheetal S., Mahalle, Parikshit N., Ghotkar, Archana S.
Published 2022
Springer Nature Singapore
Subjects: “...Natural Language Processing (NLP)...”
Cover Image
Read Now

3
by Odifreddi, Piergiorgio
Published 1989
North-Holland
Cover Image
Read Now

4
by Odifreddi, Piergiorgio
Published 1992
Elsevier
Table of Contents: “...Front Cover; Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers...”
Cover Image
Read Now

5
by Eijck, J. van
Published 1994
MIT Press
Subjects: “...Natural language processing (Computer science)...”
Cover Image
Read Now

6
Published 2002
Physica
Subjects: “...Natural Language Processing (NLP)...”
Cover Image
Read Now

7
Published 2002
Springer Berlin Heidelberg
Subjects: “...Natural Language Processing (NLP)...”
Cover Image
Read Now

8
by Kornai, Andras
Published 2008
Springer London
Subjects: “...Natural Language Processing (NLP)...”
Cover Image
Read Now

9
Published 2023
Springer Nature Switzerland
Subjects: “...Natural Language Processing (NLP)...”
Cover Image
Read Now

10
by Downey, Rod
Published 2020
Princeton University Press
“... to new natural definability results for Turing degree classes, demonstrating how dynamic constructions...”
Cover Image
Read Now

11
by Lothaire, M.
Published 2005
Cambridge University Press
Table of Contents: “...Algorithms on words -- Structures for indexes -- Symbolic natural language processing...”
Cover Image
Read Now

12
by Halbeisen, Lorenz, Krapf, Regula
Published 2020
Birkhäuser
Table of Contents: “...A Natural Approach to Natural Numbers -- Part I Introduction to First-Order Logic -- Syntax...”
Cover Image
Read Now

13
by Henle, James M.
Published 1986
Springer New York
Table of Contents: “...One Projects -- 1. Logic and Set Theory -- 2. The Natural Numbers -- 3. The Integers -- 4...”
Cover Image
Read Now

14
by Mints, Grigori
Published 2000
Springer US
Table of Contents: “...Intuitionistic Predicate Logic -- Natural Deduction System NJ -- Kripke Models for Predicate Logic...”
Cover Image
Read Now

15
Published 2016
Springer International Publishing
Table of Contents: “...: The Paradox of Analyticity and Related Issues -- David DeVidi and Herbert Korté: Naturalizing Natural...”
Cover Image
Read Now

16
by Von Plato, Jan
Published 2013
Cambridge University Press
Table of Contents: “.... Rules of proof; 3. Natural deduction; 4. Proof search; 5. Classical natural deduction; 6. Proof search...”
Cover Image
Read Now

17
by Pym, David J.
Published 2002
Springer Netherlands
Table of Contents: “...I Propositional BI -- 1. Introduction to Part I -- 2. Natural Deduction for Propositional BI -- 3...”
Cover Image
Read Now

18
by Moschovakis, Yiannis
Published 2006
Springer New York
Table of Contents: “...Equinumerosity -- Paradoxes and Axioms -- Are Sets All There is? -- The Natural Numbers -- Fixed...”
Cover Image
Read Now

19
Published 1973
Springer Berlin Heidelberg
Table of Contents: “... interpretations -- Normalization theorems for systems of natural deduction -- Applications of Kripke models...”
Cover Image
Read Now

20
by Zakharov, Valeriy K.
Published 2018
De Gruyter
Table of Contents: “...Fundamentals of the theory of classes, sets, and numbers -- Characterization of all natural models...”