Mathematical logic and computability/
I tiakina i:
| Kaituhi matua: | Keisler, H. Jerome |
|---|---|
| Hōputu: | Pukapuka |
| Reo: | Ingarihi |
| I whakaputaina: |
New York:
McGraw-Hill,
1996.
|
| 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
Introduction to mathematical logic; set theory / computable functions, model theory.
mā: MALITZ, Jerome
I whakaputaina: (1979)
mā: MALITZ, Jerome
I whakaputaina: (1979)
Computability and logic /
mā: Boolos, George S.
I whakaputaina: (1989)
mā: Boolos, George S.
I whakaputaina: (1989)
Introduction to Mathematical Logic / Introduction to Mathematical Logic
mā: Church, Alonzo
I whakaputaina: (1996)
mā: Church, Alonzo
I whakaputaina: (1996)
An Invitation to Mathematical Logic
mā: Marker, David
I whakaputaina: (2024)
mā: Marker, David
I whakaputaina: (2024)
Introduction to mathematical logic /
mā: Church, Alonzo
I whakaputaina: (1956)
mā: Church, Alonzo
I whakaputaina: (1956)
Language logic and mathematics/
mā: Kilmister, C.W
I whakaputaina: (1967)
mā: Kilmister, C.W
I whakaputaina: (1967)
Mathematical Logic/
mā: KLEENE, Stephen Cole
I whakaputaina: (1968)
mā: KLEENE, Stephen Cole
I whakaputaina: (1968)
A mathematical introduction to logic /
mā: Enderton, Herbert B.
I whakaputaina: (2001)
mā: Enderton, Herbert B.
I whakaputaina: (2001)
Contributions to mathematical logic: proceedings of the logic colloquium, Hannover 1966/
mā: SCHMIDT, H. Arnold ed
I whakaputaina: (1968)
mā: SCHMIDT, H. Arnold ed
I whakaputaina: (1968)
Introduction to Logic /
mā: Suppes, Patrick
I whakaputaina: (1957)
mā: Suppes, Patrick
I whakaputaina: (1957)
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)
New Directions in Relevant Logic
I whakaputaina: (2025)
I whakaputaina: (2025)
Threshold logic /
mā: LEWIS, P.M
I whakaputaina: (1967)
mā: LEWIS, P.M
I whakaputaina: (1967)
Introduction to mathematical logic/
mā: ROBINSON, Gerson B.
I whakaputaina: (1969)
mā: ROBINSON, Gerson B.
I whakaputaina: (1969)
Logic in Computer Science
mā: Zhang, Hantao, me ētahi atu.
I whakaputaina: (2025)
mā: Zhang, Hantao, me ētahi atu.
I whakaputaina: (2025)
Logic : A Philosophical Introduction /
mā: Kaminsky, Jack
I whakaputaina: (1974)
mā: Kaminsky, Jack
I whakaputaina: (1974)
Introduction to Symbolic Logic/
mā: Basson, A. H.
I whakaputaina: (1960)
mā: Basson, A. H.
I whakaputaina: (1960)
Fundamentals of symbolic logic/
mā: AMBROSE, Alice
I whakaputaina: (1948)
mā: AMBROSE, Alice
I whakaputaina: (1948)
Symbolic Logic/
mā: Lee, Harold Newton
I whakaputaina: (1961)
mā: Lee, Harold Newton
I whakaputaina: (1961)
Symbolic logic /
mā: Copi, Irving M.
I whakaputaina: (1979)
mā: Copi, Irving M.
I whakaputaina: (1979)
Symbolic Logic/
mā: Copi, Irving M.
I whakaputaina: (1979)
mā: Copi, Irving M.
I whakaputaina: (1979)
Logic and Set Theory /
mā: Philip, N.
I whakaputaina: (1979)
mā: Philip, N.
I whakaputaina: (1979)
From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /
I whakaputaina: (2024)
I whakaputaina: (2024)
Introduction to Symbolic Logic / Introduction to Symbolic Logic
mā: Basson, A. H.
I whakaputaina: (1993)
mā: Basson, A. H.
I whakaputaina: (1993)
Deductive logic/
mā: Leblanc, Hugues
I whakaputaina: (1976)
mā: Leblanc, Hugues
I whakaputaina: (1976)
Studying deductive logic/
mā: Berger, Fred R.
I whakaputaina: (1977)
mā: Berger, Fred R.
I whakaputaina: (1977)
Philosophical Logic / Philosophical Logic
mā: Strawson, P. F.
I whakaputaina: (1967)
mā: Strawson, P. F.
I whakaputaina: (1967)
The Essence of Logic / The Essence of Logic
mā: Kelly, John
I whakaputaina: (1997)
mā: Kelly, John
I whakaputaina: (1997)
Universal Logic, Ethics, and Truth Essays in Honor of John Corcoran (1937-2021) /
I whakaputaina: (2024)
I whakaputaina: (2024)
Logic and Knowledge : Essays 1901-1950 /
mā: Russell, Bertrand
I whakaputaina: (1988)
mā: Russell, Bertrand
I whakaputaina: (1988)
Logic /
mā: Tomassi, Paul
I whakaputaina: (1999)
mā: Tomassi, Paul
I whakaputaina: (1999)
Ngā tūemi rite
-
Introduction to mathematical logic; set theory / computable functions, model theory.
mā: MALITZ, Jerome
I whakaputaina: (1979) -
Computability and logic /
mā: Boolos, George S.
I whakaputaina: (1989) -
Introduction to Mathematical Logic / Introduction to Mathematical Logic
mā: Church, Alonzo
I whakaputaina: (1996) -
An Invitation to Mathematical Logic
mā: Marker, David
I whakaputaina: (2024) -
Introduction to mathematical logic /
mā: Church, Alonzo
I whakaputaina: (1956)