Contributions to mathematical logic: proceedings of the logic colloquium, Hannover 1966/
I tiakina i:
| Kaituhi matua: | SCHMIDT, H. Arnold ed |
|---|---|
| Hōputu: | Pukapuka |
| Reo: | Ingarihi |
| I whakaputaina: |
Amsterdam:
North-Holland;
1968.
|
| Rangatū: | (Studies in logic and the foundations of Mathematics)
|
| Ngā marau: | |
| Ngā Tūtohu: |
Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
Ngā tūemi rite
Elements of mathematical logic/
mā: NOVIKOV, P.S
I whakaputaina: (1964)
mā: NOVIKOV, P.S
I whakaputaina: (1964)
Elements of mathematical logic/
mā: LUKASIEWICZ, Jan
I whakaputaina: (1963)
mā: LUKASIEWICZ, Jan
I whakaputaina: (1963)
Logic With Trees: an introduction to symbolic logic/
mā: Howson, Colin
I whakaputaina: (1997)
mā: Howson, Colin
I whakaputaina: (1997)
Combinatory logic/
mā: CURRY, Haskell B.
I whakaputaina: (1968)
mā: CURRY, Haskell B.
I whakaputaina: (1968)
Threshold logic /
mā: LEWIS, P.M
I whakaputaina: (1967)
mā: LEWIS, P.M
I whakaputaina: (1967)
Logic for mathematicians /
mā: Hamilton, Alan G., 1943-
I whakaputaina: (2001)
mā: Hamilton, Alan G., 1943-
I whakaputaina: (2001)
Logic for mathematicians
mā: Hamilton, Alan G., 1943-
I whakaputaina: (2001)
mā: Hamilton, Alan G., 1943-
I whakaputaina: (2001)
Computability and logic /
mā: Boolos, George S.
I whakaputaina: (1989)
mā: Boolos, George S.
I whakaputaina: (1989)
New Methods in symbolic logic/
mā: STANDLEY, Gerald B.
I whakaputaina: (1971)
mā: STANDLEY, Gerald B.
I whakaputaina: (1971)
Fundamentals of symbolic logic/
mā: AMBROSE, Alice
I whakaputaina: (1948)
mā: AMBROSE, Alice
I whakaputaina: (1948)
Language logic and mathematics/
mā: Kilmister, C.W
I whakaputaina: (1967)
mā: Kilmister, C.W
I whakaputaina: (1967)
Introduction to mathematical logic; set theory / computable functions, model theory.
mā: MALITZ, Jerome
I whakaputaina: (1979)
mā: MALITZ, Jerome
I whakaputaina: (1979)
The Axiomatic method: an introduction to mathematical logic/
mā: LIGHTSTONE, A.H
I whakaputaina: (1964)
mā: LIGHTSTONE, A.H
I whakaputaina: (1964)
First steps in model logic /
mā: Popkorn, Sally
I whakaputaina: (1994)
mā: Popkorn, Sally
I whakaputaina: (1994)
First steps in model logic
mā: Popkorn, Sally
I whakaputaina: (1994)
mā: Popkorn, Sally
I whakaputaina: (1994)
Mathematical logic and formal systemss: a collection of papers in honor of professor newton C. A. da costa
I whakaputaina: (1985)
I whakaputaina: (1985)
Mathematical Logic/
mā: KLEENE, Stephen Cole
I whakaputaina: (1968)
mā: KLEENE, Stephen Cole
I whakaputaina: (1968)
Varieties of constructive mathematics /
mā: Bridges, Douglas
mā: Bridges, Douglas
Varieties of constructive mathematics
mā: Bridges, Douglas
I whakaputaina: (1987)
mā: Bridges, Douglas
I whakaputaina: (1987)
Introduction to Logic/
mā: Suppes, Patrick
I whakaputaina: (1957)
mā: Suppes, Patrick
I whakaputaina: (1957)
Philosophy of logics/
mā: Haack, Susan
I whakaputaina: (1978)
mā: Haack, Susan
I whakaputaina: (1978)
Notes on logic and set theory /
mā: Johnstone, P.T
I whakaputaina: (1987)
mā: Johnstone, P.T
I whakaputaina: (1987)
Introduction to mathematical logic/
mā: ROBINSON, Gerson B.
I whakaputaina: (1969)
mā: ROBINSON, Gerson B.
I whakaputaina: (1969)
Set theory, Logic and their limitations / Moshe Machover.
mā: Machover ,Moshe
I whakaputaina: (1996)
mā: Machover ,Moshe
I whakaputaina: (1996)
Constructive order types/
mā: CROSSLEY, John N.
I whakaputaina: (1969)
mā: CROSSLEY, John N.
I whakaputaina: (1969)
Logic /
mā: Salmon, Wesley C.
I whakaputaina: (1973)
mā: Salmon, Wesley C.
I whakaputaina: (1973)
Symbolic logic/
mā: Copi, Irving M.
I whakaputaina: (1979)
mā: Copi, Irving M.
I whakaputaina: (1979)
Mathematical logic and computability/
mā: Keisler, H. Jerome
I whakaputaina: (1996)
mā: Keisler, H. Jerome
I whakaputaina: (1996)
An Invitation to Mathematical Logic
mā: Marker, David
I whakaputaina: (2024)
mā: Marker, David
I whakaputaina: (2024)
Logic: an introductory course/
mā: NEWTON-SMITH, W.H
I whakaputaina: (1985)
mā: NEWTON-SMITH, W.H
I whakaputaina: (1985)
Essential Computer Mathematics
mā: Lipschutz, Seymour
I whakaputaina: (1982)
mā: Lipschutz, Seymour
I whakaputaina: (1982)
Russell, Gödel, Tarski Selected Papers on the Philosophy of Logic and Mathematics /
mā: Rodríguez-Consuegra, Francisco
I whakaputaina: (2025)
mā: Rodríguez-Consuegra, Francisco
I whakaputaina: (2025)
The Languages of Logic: an introduction to formal logic/
mā: Guttenplan, Samuel
I whakaputaina: (1997)
mā: Guttenplan, Samuel
I whakaputaina: (1997)
Proofs and refutations/ the logic of mathemati-
mā: LAKATOS, Inre
I whakaputaina: (1976)
mā: LAKATOS, Inre
I whakaputaina: (1976)
Introduction to logic/
mā: COPI, Irving M.
I whakaputaina: (1968)
mā: COPI, Irving M.
I whakaputaina: (1968)
Introduction to logic/
mā: COPI, Irving M.
I whakaputaina: (1982)
mā: COPI, Irving M.
I whakaputaina: (1982)
Ngā tūemi rite
-
Elements of mathematical logic/
mā: NOVIKOV, P.S
I whakaputaina: (1964) -
Elements of mathematical logic/
mā: LUKASIEWICZ, Jan
I whakaputaina: (1963) -
Logic With Trees: an introduction to symbolic logic/
mā: Howson, Colin
I whakaputaina: (1997) -
Combinatory logic/
mā: CURRY, Haskell B.
I whakaputaina: (1968) -
Threshold logic /
mā: LEWIS, P.M
I whakaputaina: (1967)