Marker, David
315  Ergebnisse:
Personensuche X
?
2

Universal Machines and Undecidability:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 163-174 , 2024
 
?
3

Formal Proofs:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 43-52 , 2024
 
?
5

Model Theory of the Real Field:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 121-138 , 2024
 
?
6

Hilbert's Tenth Problem:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 237-253 , 2024
 
?
7

Models of Computation:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 141-162 , 2024
 
?
8

Turing Reducibility:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 189-204 , 2024
 
?
9

Gödel's Completeness Theorem:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 53-64 , 2024
 
?
10

Gödel's Incompleteness Theorems:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 207-235 , 2024
 
?
11

Languages, Structures, and Theories:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 3-29 , 2024
 
?
12

Models of Arithmetic and Independence Results:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 293-317 , 2024
 
?
13

Ultraproducts:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 85-96 , 2024
 
?
14

Computably Enumerable and Arithmetic Sets:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 175-187 , 2024
 
?
15

An Invitation to Mathematical Logic 

Graduate Texts in Mathematics, 301
Marker, David - 1st ed. 2024 . , 2024
 
1-15