Search alternatives:
22mathematical logic » mathematical logic, mathematics logic, mathematical logical
Cover Image
Read Now

2
by Agrawal, Manindra
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: “...Mathematical Logic and Formal Languages...”
Cover Image
Read Now

3
by Thomas, Wolfgang
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects: “...Mathematical Logic and Formal Languages...”
Cover Image
Read Now

4
by Bradfield, Julian
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: “...Mathematical Logic and Foundations...”
Cover Image
Read Now

5
by Sasao, Tsutomu
Published 1999
Springer US
Table of Contents: “...1 Mathematical Foundation -- 1.1 Set -- 1.2 Relation -- 1.3 Equivalence Class -- 1.4 Function...”
Cover Image
Read Now

6
by Gunter, Elsa L
Published 1997
Springer Berlin Heidelberg
Subjects: “...Mathematical Logic and Foundations...”
Cover Image
Read Now

7
by Krantz, Steven G.
Published 2002
Birkhäuser
Table of Contents: “... -- Glossary of Terms from Mathematical and Sentential Logic --...”
Cover Image
Read Now

8
by Bauer, Friedrich L., Wirsing, Martin
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... Modallogiken -- 22. Semantik modaler Logiken -- 23. Dimodale Logiken -- 24. Multimodale Logiken -- Hinweise zur...”
Cover Image
Read Now

10
by Prehofer, Christian
Published 1998
Birkhäuser
Table of Contents: “...1 Introduction -- 2 Preview -- 2.1 Term Rewriting -- 2.2 Narrowing -- 2.3 Narrowing and Logic...”
Cover Image
Read Now

11
by Goré, Rajeev
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects: “...Mathematical Logic and Foundations...”
Cover Image
Read Now

12
by Wagner, Klaus W.
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Berechenbarkeit -- 2.1 Random-Access-Maschinen -- 2.2 Die Programmiersprache RIES -- 2.3 Zur Geschichte des...”
Cover Image
Read Now

13
by Salleh, Shaharuddin, Zomaya, Albert Y.
Published 1999
Springer US
Table of Contents: “... Parallel Computing: Experimental Platform -- 2.1 Introduction -- 2.2 Parallel Computers -- 2.3 Transputer...”
Cover Image
Read Now

14
by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... dieses Buches -- 2 Vorbereitungen -- 2.1 Syntax -- 2.2 Getypte Ausdrücke -- 2.3 Semantik von Ausdrücken...”
Cover Image
Read Now

15
by Hachenberger, Dirk
Published 1997
Springer US
Table of Contents: “... -- 21. Enumeration -- VI. Explicit Constructions -- 22. Strongly Regular Extensions -- 23. Exceptional...”
Cover Image
Read Now

16
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... of natural deduction -- Tableaux for logic programming with strong negation -- Generalized tableau systems...”
Cover Image
Read Now

17
by Homuth, Horst H.
Published 1977
Vieweg+Teubner Verlag
Table of Contents: “... Automaten -- 2.2. Zusammenhangsbegriffe bei Automaten -- 2.3. Homomorphie und Isomorphie bei Automaten -- 3...”
Cover Image
Read Now

18
by Felscher, Walter
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... Struktur der rekursiv aufzählbaren Relationen -- 22 Rekursive Funktionen und rekursive Relationen -- 23...”
Cover Image
Read Now

19
by Ehrig, Hartmut, Mahr, Bernd, Cornelius, F., Große-Rhode, Martin
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Umbenennung -- 22. Prädikatenlogische Hilbert-Kalküle -- 23. Ausblick -- 24. Kategorien in Mathematik und...”
Cover Image
Read Now

20
Published 1990
Springer New York
Table of Contents: “...20 On a Theorem of Jacobson -- 21 Modalities of Nondeterminacy -- 22 A Theory for the Derivation...”