Buchumschlag

First steps in model logic /

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Popkorn, Sally
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Cambridge : Cambridge Univ. Pr. 1994.
Schlagworte:	Mathematical (Symbolic) Logic
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

First steps in model logic
von: Popkorn, Sally
Veröffentlicht: (1994)

Logic for mathematicians /
von: Hamilton, Alan G., 1943-
Veröffentlicht: (2001)

Logic for mathematicians
von: Hamilton, Alan G., 1943-
Veröffentlicht: (2001)

Threshold logic /
von: LEWIS, P.M
Veröffentlicht: (1967)

Computability and logic /
von: Boolos, George S.
Veröffentlicht: (1989)

Fundamentals of symbolic logic/
von: AMBROSE, Alice
Veröffentlicht: (1948)

Introduction to mathematical logic; set theory / computable functions, model theory.
von: MALITZ, Jerome
Veröffentlicht: (1979)

Language logic and mathematics/
von: Kilmister, C.W
Veröffentlicht: (1967)

Logic With Trees: an introduction to symbolic logic/
von: Howson, Colin
Veröffentlicht: (1997)

Combinatory logic/
von: CURRY, Haskell B.
Veröffentlicht: (1968)

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

Elements of mathematical logic/
von: NOVIKOV, P.S
Veröffentlicht: (1964)

Elements of mathematical logic/
von: LUKASIEWICZ, Jan
Veröffentlicht: (1963)

Contributions to mathematical logic: proceedings of the logic colloquium, Hannover 1966/
von: SCHMIDT, H. Arnold ed
Veröffentlicht: (1968)

Varieties of constructive mathematics /
von: Bridges, Douglas

Leibnits and the seventeenth-century /
von: Meyer, R.W
Veröffentlicht: (1952)

Varieties of constructive mathematics
von: Bridges, Douglas
Veröffentlicht: (1987)

New Methods in symbolic logic/
von: STANDLEY, Gerald B.
Veröffentlicht: (1971)

Notes on logic and set theory /
von: Johnstone, P.T
Veröffentlicht: (1987)

Set theory, Logic and their limitations / Moshe Machover.
von: Machover ,Moshe
Veröffentlicht: (1996)

Russell, Gödel, Tarski Selected Papers on the Philosophy of Logic and Mathematics /
von: Rodríguez-Consuegra, Francisco
Veröffentlicht: (2025)

Schaum's outline of set theory and related topics /
von: Lipschutz, Seymour
Veröffentlicht: (1981)

Schaum's outline of set theory and related topics
von: Lipschutz, Seymour
Veröffentlicht: (1981)

Theory and Problems of Set Theory and Related Topics
von: Lipschutz, Seymour
Veröffentlicht: (1964)

Set Theory
von: Chatterjee, P. N.
Veröffentlicht: (1993)

Set Theory
von: Chatterjee, P. N.
Veröffentlicht: (1995)

Essential Computer Mathematics
von: Lipschutz, Seymour
Veröffentlicht: (1982)

Proofs and refutations/ the logic of mathemati-
von: LAKATOS, Inre
Veröffentlicht: (1976)

The Axiomatic method: an introduction to mathematical logic/
von: LIGHTSTONE, A.H
Veröffentlicht: (1964)

Set Theory: and Related Topics
von: Spiegel, Murray R.
Veröffentlicht: (1965)

New Directions in Relevant Logic
Veröffentlicht: (2025)

An Invitation to Mathematical Logic
von: Marker, David
Veröffentlicht: (2024)

Schaum's Outline of Discrete Mathematics
von: Lipschutz, S.
Veröffentlicht: (1997)

Discrete Mathematics
von: Vatsa, B. S.

2000 Solved Problems in Discrete Mathematics
von: Lipschutz, S.
Veröffentlicht: (1992)

Discrete Mathematics and Its Applications
von: Rosen, K. H.
Veröffentlicht: (1999)

Logic, methodology and philosophy of science; proceedings of the 1964 international
Veröffentlicht: (1965)

Constructive order types/
von: CROSSLEY, John N.
Veröffentlicht: (1969)

Logical papers: a selection
von: Leibniz, Gottfried Wilhelm, Freiherr Von, 1646-1716
Veröffentlicht: (1966)

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