22. |
Webb, Judson Chambers, 1936- Mechanism, mentalism, and metamathematics
|
BIBFRAME Instances
|
Instance |
|
1809831 |
|
|
23. |
Boos, William Metamathematics and the philosophical tradition
|
BIBFRAME Instances
|
Instance |
|
20381485 |
|
|
24. |
Kleene, Stephen Cole, 1909-1994 Introduction to metamathematics
|
BIBFRAME Instances
|
Instance |
|
6039338 |
|
|
25. |
Tarski, Alfred Logic, semantics, metamathematics
|
BIBFRAME Works
|
Work Text Monograph |
|
7930730 |
|
|
26. |
Rasiowa, Helena The mathematics of metamathematics
|
BIBFRAME Works
|
Work Text Monograph |
|
4532305 |
|
|
27. |
Murawski, Roman Recursive functions and metamathematics
|
BIBFRAME Works
|
Work Text Monograph |
|
11761386 |
|
|
29. |
Boos, William Metamathematics and the philosophical tradition
|
BIBFRAME Works
|
Work Text Monograph |
|
20429771 |
|
|
30. |
Hájek, Petr Metamathematics of first-order arithmetic
|
BIBFRAME Works
|
Work Text Monograph |
|
1087836 |
|
|
31. |
Boos, William Metamathematics and the philosophical tradition
|
BIBFRAME Works
|
Work Text Monograph |
|
20381485 |
|
|
33. |
Tarski, Alfred Logic, semantics, metamathematics
|
BIBFRAME Works
|
Work Text Monograph |
|
3768430 |
|
|
34. |
Hájek, Petr Metamathematics of fuzzy logic
|
BIBFRAME Works
|
Work Text Monograph |
|
1671221 |
|
|
35. |
Smullyan, Raymond M. Recursion theory for metamathematics
|
BIBFRAME Works
|
Work Text Monograph |
|
1089468 |
|
|
36. |
Kleene, Stephen Cole, 1909-1994 Introduction to metamathematics
|
BIBFRAME Works
|
Work Text Monograph |
|
16008650 |
|
|
37. |
Robinson, Abraham, 1918-1974 On the metamathematics of algebra
|
BIBFRAME Works
|
Work Text Monograph |
|
4055601 |
|
|
38. |
Wolfram, Stephen, 1959- Metamathematics
|
BIBFRAME Works
|
Work Text Monograph |
|
22688170 |
|
|
40. |
Webb, Judson Chambers, 1936- Mechanism, mentalism, and metamathematics
|
BIBFRAME Works
|
Work Text Monograph |
|
1809831 |
|
|