Ata uhi

Computability and logic /

I tiakina i:

Ngā taipitopito rārangi puna kōrero
Kaituhi matua:	Boolos, George S.
Hōputu:	Pukapuka
Reo:	Ingarihi
I whakaputaina:	Cambri : Univ. Pr. c1989 (1998 printing)
Putanga:	2nd ed
Ngā marau:	1. Logic 2.Mathematical (Symbolic) logic
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

Logic for mathematicians /
mā: Hamilton, Alan G., 1943-
I whakaputaina: (2001)

Logic for mathematicians
mā: Hamilton, Alan G., 1943-
I whakaputaina: (2001)

Threshold logic /
mā: LEWIS, P.M
I whakaputaina: (1967)

Fundamentals of symbolic logic/
mā: AMBROSE, Alice
I whakaputaina: (1948)

First steps in model logic /
mā: Popkorn, Sally
I whakaputaina: (1994)

First steps in model logic
mā: Popkorn, Sally
I whakaputaina: (1994)

Introduction to mathematical logic; set theory / computable functions, model theory.
mā: MALITZ, Jerome
I whakaputaina: (1979)

Language logic and mathematics/
mā: Kilmister, C.W
I whakaputaina: (1967)

Notes on logic and set theory /
mā: Johnstone, P.T
I whakaputaina: (1987)

Logic With Trees: an introduction to symbolic logic/
mā: Howson, Colin
I whakaputaina: (1997)

Combinatory logic/
mā: CURRY, Haskell B.
I whakaputaina: (1968)

Set theory, Logic and their limitations / Moshe Machover.
mā: Machover ,Moshe
I whakaputaina: (1996)

Russell, Gödel, Tarski Selected Papers on the Philosophy of Logic and Mathematics /
mā: Rodríguez-Consuegra, Francisco
I whakaputaina: (2025)

Varieties of constructive mathematics /
mā: Bridges, Douglas

Leibnits and the seventeenth-century /
mā: Meyer, R.W
I whakaputaina: (1952)

Varieties of constructive mathematics
mā: Bridges, Douglas
I whakaputaina: (1987)

Elements of mathematical logic/
mā: NOVIKOV, P.S
I whakaputaina: (1964)

Elements of mathematical logic/
mā: LUKASIEWICZ, Jan
I whakaputaina: (1963)

Contributions to mathematical logic: proceedings of the logic colloquium, Hannover 1966/
mā: SCHMIDT, H. Arnold ed
I whakaputaina: (1968)

Essential Computer Mathematics
mā: Lipschutz, Seymour
I whakaputaina: (1982)

Mathematical logic and formal systemss: a collection of papers in honor of professor newton C. A. da costa
I whakaputaina: (1985)

New Methods in symbolic logic/
mā: STANDLEY, Gerald B.
I whakaputaina: (1971)

Proofs and refutations/ the logic of mathemati-
mā: LAKATOS, Inre
I whakaputaina: (1976)

New Directions in Relevant Logic
I whakaputaina: (2025)

An Invitation to Mathematical Logic
mā: Marker, David
I whakaputaina: (2024)

Mathematical logic and computability/
mā: Keisler, H. Jerome
I whakaputaina: (1996)

Schaum's outline of set theory and related topics /
mā: Lipschutz, Seymour
I whakaputaina: (1981)

Schaum's outline of set theory and related topics
mā: Lipschutz, Seymour
I whakaputaina: (1981)

Theory and Problems of Set Theory and Related Topics
mā: Lipschutz, Seymour
I whakaputaina: (1964)

Set Theory
mā: Chatterjee, P. N.
I whakaputaina: (1993)

Set Theory
mā: Chatterjee, P. N.
I whakaputaina: (1995)

Universal Logic, Ethics, and Truth Essays in Honor of John Corcoran (1937-2021) /
I whakaputaina: (2024)

The Axiomatic method: an introduction to mathematical logic/
mā: LIGHTSTONE, A.H
I whakaputaina: (1964)

The logic of essentialism: an interpretation of Aristotle's modal syllogistic/
mā: Thom, Paul
I whakaputaina: (1996)

Logic, methodology and philosophy of science; proceedings of the 1964 international
I whakaputaina: (1965)

Formal logic: a model of english/
mā: Rubin, Ronald
I whakaputaina: (1989)

Logic deductive and inductive
mā: Read, Carveth
I whakaputaina: (1911)

Digital Logic and Computer Design
mā: MANO, MORRIS, MANO
I whakaputaina: (1979)

Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings /
I whakaputaina: (2023)

From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /
I whakaputaina: (2024)