QR kód

A course in mathematical logic /

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Bell, John Lane (Autor), Machover, Moshé (Autor)
Médium:	Kniha
Jazyk:	čeština
Vydáno:	Amsterdam : North-Holland Publishing, 1977
Edice:	rz1
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Mathematical logic /
Autor: Flum, Jörg, a další
Vydáno: (1984)

Mathematical logic /
Autor: Demlová, Marie
Vydáno: (1999)

A COURSE ON FIELD PROGRAMMABLE LOGIC /
Autor: Eijnden, P. M. C. M. VAN DEN
Vydáno: (1985)

Handbook of mathematical logic /
Autor: Aczel, Peter
Vydáno: (1977)

The elements of mathematical logic /
Autor: Rosenbloom, Paul C.
Vydáno: (1950)

Philosophical and Mathematical Logic
Autor: de Swart, Harrie
Vydáno: (2018)

A second course in mathematical analysis /
Autor: Burkill, John Charles
Vydáno: (1980)

Mathematical Logic On Numbers, Sets, Structures, and Symmetry /
Autor: Kossak, Roman
Vydáno: (2018)

A course of pure mathematics /
Autor: Hardy, G. H.
Vydáno: (1975)

A Course in Mathematical Cryptography /
Autor: Baumslag, Gilbert, a další
Vydáno: (2015)

A mathematical introduction to logic /
Autor: Enderton, Herbert B., 1936-2010
Vydáno: (2001)

Mathematical logic and programming languages /
Autor: Kowalski, R.
Vydáno: (1985)

Hilary Putnam on Logic and Mathematics
Vydáno: (2018)

A first course in discrete mathematics /
Autor: Anderson, Ian
Vydáno: (2001)

A course of mathematics for engineers and scientists.
Autor: Chirgwin, Brian H., a další
Vydáno: (1970)

A course of mathematics for engineers and scientists.
Autor: Chirgwin, Brian H., a další
Vydáno: (1972)

A second course in mathematical analysis /
Autor: Burkill, J. C., a další
Vydáno: (1970)

The power of mathematics /
Autor: Flato, Moshé
Vydáno: (1992)

Introduction to mathematical logic : set theory. Computable functions. Model theory /
Autor: Malitz, Jerome
Vydáno: (1979)

The evolution of type theory in logic and mathematics /
Autor: Laan, Twan Dismas Laurens
Vydáno: (1997)

Mathematical logic in the 20th century /
Autor: Sacks, Gerald E.
Vydáno: (2003)

A first course in the mathematical foundations of thermodynamics /
Autor: Owen, David R.
Vydáno: (1984)

Philosophy's Loss of Logic to Mathematics An Inadequately Understood Take-Over /
Autor: Park, Woosuk
Vydáno: (2018)

Mathematical logic and formalized theories : a survey of basic concepts and results /
Autor: Rogers, Robert
Vydáno: (1974)

Logic and discrete mathematics. A computer science perspective /
Autor: Grassmann, Winfried Karl
Vydáno: (1996)

Logic analyzers for microprocessors /
Autor: Kneen, John
Vydáno: (1980)

A practical course in differential equations and mathematical modelling : classical and new methods, nonlinear mathematical models, symmetry and invariance principles /
Autor: Ibragimov, Nail' Chajrullovič
Vydáno: (2010)

FOUNDATIONS OF LOGIC PROGRAMMING /
Autor: Lloyd, John Wylie
Vydáno: (1984)

FROM LOGIC DESIGN TO LOGIC PROGRAMMING /
Autor: Snyers, Dominique
Vydáno: (1987)

Studies on mathematical programming /
Autor: Bell, D. E.
Vydáno: (1980)

Course in combinatorics /
Autor: Lint, J. H. van
Vydáno: (1994)

Logical Form Between Logic and Natural Language /
Autor: Iacona, Andrea
Vydáno: (2018)

THE LOGIC OF INDUCTION /
Autor: Mortimer, Halina
Vydáno: (1988)

MATRIX LOGIC /
Autor: Stern, August
Vydáno: (1988)

THE LOGIC OF PROGRAMMING /
Autor: Hehner, Eric C. R.
Vydáno: (1984)

Absolute logics /
Autor: Akkanen, Jyrki
Vydáno: (1995)

Logic and structure /
Autor: Dalen, Dirk van
Vydáno: (1983)

A course in mathematical physics. Vol. 3. Quantum mechanics of atoms and molecules /
Autor: Thirring, Walter E. 1927-
Vydáno: (1979)

Computer logic, testing and verification /
Autor: Roth, John Paul
Vydáno: (1980)

A microprocessor course /
Autor: Fohl, Mark E.
Vydáno: (1979)