QR-Code

Mathematical logic and formalized theories : a survey of basic concepts and results /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Rogers, Robert (VerfasserIn)
Format:	Buch
Sprache:	Tschechisch
Veröffentlicht:	Amsterdam : North-Holland Publishing, 1974
Ausgabe:	2. printing
Schriftenreihe:	rz1
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The evolution of type theory in logic and mathematics /
von: Laan, Twan Dismas Laurens
Veröffentlicht: (1997)

Mathematical logic /
von: Flum, Jörg, et al.
Veröffentlicht: (1984)

Mathematical logic /
von: Demlová, Marie
Veröffentlicht: (1999)

AN INTRODUCTION TO FORMAL LANGUAGE THEORY /
von: Moll, Robert N.
Veröffentlicht: (1988)

Connecting informal and formal mathematics /
von: Elbers, Hugo Johannes
Veröffentlicht: (1998)

Theory of formal systems /
von: Smullyan, Raymond M.
Veröffentlicht: (1961)

Handbook of mathematical logic /
von: Aczel, Peter
Veröffentlicht: (1977)

The elements of mathematical logic /
von: Rosenbloom, Paul C.
Veröffentlicht: (1950)

Philosophical and Mathematical Logic
von: de Swart, Harrie
Veröffentlicht: (2018)

Introduction to mathematical logic : set theory. Computable functions. Model theory /
von: Malitz, Jerome
Veröffentlicht: (1979)

Mathematical Logic On Numbers, Sets, Structures, and Symmetry /
von: Kossak, Roman
Veröffentlicht: (2018)

Automata theory and formal languages /
Veröffentlicht: (1975)

A course in mathematical logic /
von: Bell, John Lane, et al.
Veröffentlicht: (1977)

A mathematical introduction to logic /
von: Enderton, Herbert B., 1936-2010
Veröffentlicht: (2001)

Mathematical logic and programming languages /
von: Kowalski, R.
Veröffentlicht: (1985)

Hilary Putnam on Logic and Mathematics
Veröffentlicht: (2018)

Digital logic : basic theory and practice /
von: Smith, J. H.
Veröffentlicht: (1971)

Mathematical logic in the 20th century /
von: Sacks, Gerald E.
Veröffentlicht: (2003)

Philosophy's Loss of Logic to Mathematics An Inadequately Understood Take-Over /
von: Park, Woosuk
Veröffentlicht: (2018)

Logic design and witching theory /
von: Muroga, Saburo
Veröffentlicht: (1979)

Introduction to logic circuit theory /
von: Aleksander, I.
Veröffentlicht: (1970)

Formal language theory. Perspectives and open problems /
von: Ginsburg, Seymour
Veröffentlicht: (1980)

Über eine deterministische theorie formaler sprachen /
von: Henke, F. W. v.
Veröffentlicht: (1972)

Thermodynamic formalism : the mathematical structures of classical equilibrium, statistical mechanics /
von: Ruelle, David
Veröffentlicht: (1978)

The concepts and logic of classical thermodynamics as a theory of heat engines /
von: Truedell, Cliford Ambrose, et al.
Veröffentlicht: (1977)

Formale Sprachen /
von: Salomaa, Arto K.
Veröffentlicht: (1978)

Introduction to switching theory and logical design /
von: Hill, Frederick J., et al.
Veröffentlicht: (1981)

Integration of fuzzy logic and chaos theory /
von: Li, Zhong, et al.
Veröffentlicht: (2006)

Logic and discrete mathematics. A computer science perspective /
von: Grassmann, Winfried Karl
Veröffentlicht: (1996)

Formalization of programming concepts : international colloquium, proceedings, Penisola, Spain, April 19-25, 1981 /
von: Backus, John
Veröffentlicht: (1981)

Algebraic Formalization of Smart Systems Theory and Practice /
von: Serdyukova, Natalia
Veröffentlicht: (2018)

Formalization of natural languages /
von: Kümmel, Peter
Veröffentlicht: (1979)

Introduction to Formal Philosophy
Veröffentlicht: (2018)

Model theory for modal logic : kripke models for modal predicate calculi /
von: Bowen, Kenneth
Veröffentlicht: (1979)

Stochastic processes. A survey of the mathematical theory /
von: Lamperti, John
Veröffentlicht: (1977)

Elementary computability, formal languages, and automata /
von: MacNaughton, Robert
Veröffentlicht: (1982)

Algebraische Theorie abstrakter Automaten, formaler Sprachen und Halbgruppen /
Veröffentlicht: (1973)

Formal description of programming concepts Proceedings of the IFFP working conference on Formal description of programming concepts : St. Andrews, N. B., Canada Aug. 1-5, 1977 /
von: Paul, Manfred
Veröffentlicht: (1978)

Non-clasical logics, model theory and computability.
Veröffentlicht: (1977)

Non-classical logics, model theory, and computability : proceedings of the 3rd Latin-American symposium on mathematical logic ; Campinas, Brazil, July 11-17, 1976 /
Veröffentlicht: (1977)